51.681 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 23.093 * * * [progress]: [2/2] Setting up program. 23.102 * [progress]: [Phase 2 of 3] Improving. 23.102 * [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))))))))) 23.105 * * [simplify]: iteration 0 : 56 enodes (cost 38 ) 23.106 * * [simplify]: iteration 1 : 98 enodes (cost 38 ) 23.108 * * [simplify]: iteration 2 : 182 enodes (cost 38 ) 23.112 * * [simplify]: iteration 3 : 309 enodes (cost 38 ) 23.118 * * [simplify]: iteration 4 : 609 enodes (cost 38 ) 23.133 * * [simplify]: iteration 5 : 2169 enodes (cost 38 ) 23.182 * * [simplify]: iteration 6 : 5001 enodes (cost 38 ) 23.183 * [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))))))))) 23.183 * * [progress]: iteration 1 / 4 23.183 * * * [progress]: picking best candidate 23.195 * * * * [pick]: Picked # 23.195 * * * [progress]: localizing error 23.229 * * * [progress]: generating rewritten candidates 23.229 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 23.234 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 23.239 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 23.244 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 23.249 * * * [progress]: generating series expansions 23.249 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 23.249 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 23.249 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 23.249 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 23.249 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.250 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 23.250 * [taylor]: Taking taylor expansion of phi1 in phi2 23.250 * [taylor]: Taking taylor expansion of phi2 in phi2 23.250 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 23.250 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 23.250 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.250 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 23.250 * [taylor]: Taking taylor expansion of phi1 in phi1 23.250 * [taylor]: Taking taylor expansion of phi2 in phi1 23.250 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 23.250 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 23.250 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.250 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 23.250 * [taylor]: Taking taylor expansion of phi1 in phi1 23.250 * [taylor]: Taking taylor expansion of phi2 in phi1 23.250 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 23.250 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.250 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.250 * [taylor]: Taking taylor expansion of phi2 in phi2 23.250 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 23.250 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.251 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 23.251 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.251 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.251 * [taylor]: Taking taylor expansion of phi2 in phi2 23.251 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 23.251 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 23.251 * [taylor]: Taking taylor expansion of 0.125 in phi2 23.251 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 23.251 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.251 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.251 * [taylor]: Taking taylor expansion of phi2 in phi2 23.252 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 23.252 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 23.252 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 23.252 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 23.252 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.252 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.252 * [taylor]: Taking taylor expansion of phi2 in phi2 23.252 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 23.252 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 23.252 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 23.252 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.252 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 23.252 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.252 * [taylor]: Taking taylor expansion of phi1 in phi2 23.252 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.252 * [taylor]: Taking taylor expansion of phi2 in phi2 23.253 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 23.253 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 23.253 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.253 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 23.253 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.253 * [taylor]: Taking taylor expansion of phi1 in phi1 23.253 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.253 * [taylor]: Taking taylor expansion of phi2 in phi1 23.253 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 23.253 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 23.253 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.253 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 23.253 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.253 * [taylor]: Taking taylor expansion of phi1 in phi1 23.253 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.253 * [taylor]: Taking taylor expansion of phi2 in phi1 23.253 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 23.253 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 23.253 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.253 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 23.253 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.253 * [taylor]: Taking taylor expansion of phi1 in phi2 23.253 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.253 * [taylor]: Taking taylor expansion of phi2 in phi2 23.253 * [taylor]: Taking taylor expansion of 0 in phi2 23.253 * [taylor]: Taking taylor expansion of 0 in phi2 23.253 * [taylor]: Taking taylor expansion of 0 in phi2 23.254 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 23.254 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 23.254 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 23.254 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.254 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.254 * [taylor]: Taking taylor expansion of phi2 in phi2 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.254 * [taylor]: Taking taylor expansion of phi1 in phi2 23.254 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 23.254 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 23.254 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.254 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.254 * [taylor]: Taking taylor expansion of phi2 in phi1 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.254 * [taylor]: Taking taylor expansion of phi1 in phi1 23.254 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 23.254 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 23.254 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.254 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.254 * [taylor]: Taking taylor expansion of phi2 in phi1 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.254 * [taylor]: Taking taylor expansion of phi1 in phi1 23.254 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 23.254 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 23.254 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.254 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.254 * [taylor]: Taking taylor expansion of phi2 in phi2 23.254 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.255 * [taylor]: Taking taylor expansion of phi1 in phi2 23.255 * [taylor]: Taking taylor expansion of 0 in phi2 23.255 * [taylor]: Taking taylor expansion of 0 in phi2 23.255 * [taylor]: Taking taylor expansion of 0 in phi2 23.255 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 23.255 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 23.255 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 23.255 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 23.255 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.255 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 23.255 * [taylor]: Taking taylor expansion of phi1 in phi2 23.255 * [taylor]: Taking taylor expansion of phi2 in phi2 23.255 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 23.255 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 23.255 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.255 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 23.255 * [taylor]: Taking taylor expansion of phi1 in phi1 23.255 * [taylor]: Taking taylor expansion of phi2 in phi1 23.255 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 23.255 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 23.255 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.255 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 23.255 * [taylor]: Taking taylor expansion of phi1 in phi1 23.255 * [taylor]: Taking taylor expansion of phi2 in phi1 23.256 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 23.256 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.256 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.256 * [taylor]: Taking taylor expansion of phi2 in phi2 23.256 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 23.256 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.256 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 23.256 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.256 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.256 * [taylor]: Taking taylor expansion of phi2 in phi2 23.256 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 23.257 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 23.257 * [taylor]: Taking taylor expansion of 0.125 in phi2 23.257 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 23.257 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.257 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.257 * [taylor]: Taking taylor expansion of phi2 in phi2 23.257 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 23.257 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 23.257 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 23.257 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 23.257 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.257 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.257 * [taylor]: Taking taylor expansion of phi2 in phi2 23.258 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 23.258 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 23.258 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 23.258 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.258 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 23.258 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.258 * [taylor]: Taking taylor expansion of phi1 in phi2 23.258 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.258 * [taylor]: Taking taylor expansion of phi2 in phi2 23.258 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 23.258 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 23.258 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.258 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 23.258 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.258 * [taylor]: Taking taylor expansion of phi1 in phi1 23.258 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.258 * [taylor]: Taking taylor expansion of phi2 in phi1 23.258 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 23.258 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 23.258 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.258 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 23.258 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.258 * [taylor]: Taking taylor expansion of phi1 in phi1 23.258 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.258 * [taylor]: Taking taylor expansion of phi2 in phi1 23.258 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 23.258 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 23.258 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.258 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 23.258 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.259 * [taylor]: Taking taylor expansion of phi1 in phi2 23.259 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.259 * [taylor]: Taking taylor expansion of phi2 in phi2 23.259 * [taylor]: Taking taylor expansion of 0 in phi2 23.259 * [taylor]: Taking taylor expansion of 0 in phi2 23.259 * [taylor]: Taking taylor expansion of 0 in phi2 23.259 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 23.259 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 23.259 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 23.259 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.259 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 23.259 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.259 * [taylor]: Taking taylor expansion of phi2 in phi2 23.259 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.259 * [taylor]: Taking taylor expansion of phi1 in phi2 23.259 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 23.259 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 23.259 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.259 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 23.259 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.259 * [taylor]: Taking taylor expansion of phi2 in phi1 23.259 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.259 * [taylor]: Taking taylor expansion of phi1 in phi1 23.259 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 23.259 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 23.260 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.260 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 23.260 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.260 * [taylor]: Taking taylor expansion of phi2 in phi1 23.260 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.260 * [taylor]: Taking taylor expansion of phi1 in phi1 23.260 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 23.260 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 23.260 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.260 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 23.260 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.260 * [taylor]: Taking taylor expansion of phi2 in phi2 23.260 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.260 * [taylor]: Taking taylor expansion of phi1 in phi2 23.260 * [taylor]: Taking taylor expansion of 0 in phi2 23.260 * [taylor]: Taking taylor expansion of 0 in phi2 23.260 * [taylor]: Taking taylor expansion of 0 in phi2 23.260 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 23.260 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 23.260 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 23.260 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 23.260 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.260 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 23.260 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.260 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.261 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.261 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.261 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.261 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.261 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.261 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.261 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.261 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.261 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.261 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.261 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.261 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.261 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.261 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.261 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.261 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.261 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 23.261 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.261 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.261 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.261 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.261 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.262 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 23.262 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 23.262 * [taylor]: Taking taylor expansion of 0.125 in lambda2 23.262 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.262 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.262 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.262 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.263 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 23.263 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 23.263 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 23.263 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.263 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.263 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.263 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.263 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 23.263 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.263 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.263 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.263 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.263 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.263 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.263 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.263 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.263 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.263 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.263 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.263 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.263 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.263 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.263 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.263 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.264 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.264 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.264 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.264 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.264 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.264 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.264 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.264 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.264 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.264 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.264 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.264 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.264 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.264 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.264 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.264 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.264 * [taylor]: Taking taylor expansion of 0 in lambda2 23.264 * [taylor]: Taking taylor expansion of 0 in lambda2 23.264 * [taylor]: Taking taylor expansion of 0 in lambda2 23.264 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 23.264 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.264 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.264 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.264 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.264 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.264 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.264 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.264 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.265 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.265 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.265 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.265 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.265 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.265 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.265 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.265 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.265 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.265 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.265 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.265 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.265 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.265 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.265 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.265 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.265 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.265 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.265 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.265 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.265 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.265 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.265 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.265 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.265 * [taylor]: Taking taylor expansion of 0 in lambda2 23.265 * [taylor]: Taking taylor expansion of 0 in lambda2 23.265 * [taylor]: Taking taylor expansion of 0 in lambda2 23.266 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 23.266 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 23.266 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 23.266 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 23.266 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.266 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 23.266 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.266 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.266 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.266 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.266 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.266 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.266 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.266 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.266 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.266 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.266 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.266 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.266 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.266 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.266 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.266 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.266 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.266 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.267 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 23.267 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.267 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.267 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.267 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.267 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.267 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 23.267 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 23.267 * [taylor]: Taking taylor expansion of 0.125 in lambda2 23.267 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.267 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.267 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.267 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.268 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 23.268 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 23.268 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 23.268 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.268 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.268 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.268 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.268 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 23.268 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.268 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.268 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.268 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.268 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.268 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.269 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.269 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.269 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.269 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.269 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.269 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.269 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.269 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.269 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.269 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.269 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.269 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.269 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.269 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.269 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.269 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.269 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.269 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.269 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.269 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.269 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.269 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.269 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.269 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.269 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.269 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.269 * [taylor]: Taking taylor expansion of 0 in lambda2 23.269 * [taylor]: Taking taylor expansion of 0 in lambda2 23.270 * [taylor]: Taking taylor expansion of 0 in lambda2 23.270 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 23.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.270 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.270 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.270 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.270 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.270 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.270 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.270 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.270 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.270 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.270 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.270 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.270 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.270 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.270 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.270 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.270 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.270 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.270 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.270 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.270 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.270 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.270 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.271 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.271 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.271 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.271 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.271 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.271 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.271 * [taylor]: Taking taylor expansion of 0 in lambda2 23.271 * [taylor]: Taking taylor expansion of 0 in lambda2 23.271 * [taylor]: Taking taylor expansion of 0 in lambda2 23.271 * * * [progress]: simplifying candidates 23.272 * [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))) 23.276 * * [simplify]: iteration 0 : 102 enodes (cost 248 ) 23.278 * * [simplify]: iteration 1 : 170 enodes (cost 216 ) 23.281 * * [simplify]: iteration 2 : 356 enodes (cost 216 ) 23.288 * * [simplify]: iteration 3 : 692 enodes (cost 216 ) 23.303 * * [simplify]: iteration 4 : 2118 enodes (cost 216 ) 23.350 * * [simplify]: iteration 5 : 5001 enodes (cost 216 ) 23.352 * [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))) 23.353 * * * [progress]: adding candidates to table 23.551 * * [progress]: iteration 2 / 4 23.551 * * * [progress]: picking best candidate 23.662 * * * * [pick]: Picked # 23.662 * * * [progress]: localizing error 23.717 * * * [progress]: generating rewritten candidates 23.717 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 1 1) 23.724 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 23.731 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 23.736 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 23.741 * * * [progress]: generating series expansions 23.741 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 1 1) 23.741 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 23.741 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 23.741 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 23.741 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.741 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 23.741 * [taylor]: Taking taylor expansion of phi1 in phi2 23.741 * [taylor]: Taking taylor expansion of phi2 in phi2 23.742 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 23.742 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 23.742 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.742 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 23.742 * [taylor]: Taking taylor expansion of phi1 in phi1 23.742 * [taylor]: Taking taylor expansion of phi2 in phi1 23.742 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 23.742 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 23.742 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.742 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 23.742 * [taylor]: Taking taylor expansion of phi1 in phi1 23.742 * [taylor]: Taking taylor expansion of phi2 in phi1 23.742 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 23.742 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.742 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.742 * [taylor]: Taking taylor expansion of phi2 in phi2 23.742 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 23.742 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.742 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 23.742 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.742 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.742 * [taylor]: Taking taylor expansion of phi2 in phi2 23.743 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 23.743 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 23.743 * [taylor]: Taking taylor expansion of 0.125 in phi2 23.743 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 23.743 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.743 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.743 * [taylor]: Taking taylor expansion of phi2 in phi2 23.744 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 phi2)))) in phi2 23.744 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 phi2))) in phi2 23.744 * [taylor]: Taking taylor expansion of 0.020833333333333332 in phi2 23.744 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 23.744 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 23.744 * [taylor]: Taking taylor expansion of -0.5 in phi2 23.744 * [taylor]: Taking taylor expansion of phi2 in phi2 23.744 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 23.744 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 23.744 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 23.744 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.744 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 23.744 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.744 * [taylor]: Taking taylor expansion of phi1 in phi2 23.744 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.744 * [taylor]: Taking taylor expansion of phi2 in phi2 23.744 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 23.744 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 23.744 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.744 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 23.745 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.745 * [taylor]: Taking taylor expansion of phi1 in phi1 23.745 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.745 * [taylor]: Taking taylor expansion of phi2 in phi1 23.745 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 23.745 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 23.745 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.745 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 23.745 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.745 * [taylor]: Taking taylor expansion of phi1 in phi1 23.745 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.745 * [taylor]: Taking taylor expansion of phi2 in phi1 23.745 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 23.745 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 23.745 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.745 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 23.745 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.745 * [taylor]: Taking taylor expansion of phi1 in phi2 23.745 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.745 * [taylor]: Taking taylor expansion of phi2 in phi2 23.745 * [taylor]: Taking taylor expansion of 0 in phi2 23.745 * [taylor]: Taking taylor expansion of 0 in phi2 23.745 * [taylor]: Taking taylor expansion of 0 in phi2 23.745 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 23.745 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 23.746 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 23.746 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.746 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.746 * [taylor]: Taking taylor expansion of phi2 in phi2 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.746 * [taylor]: Taking taylor expansion of phi1 in phi2 23.746 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 23.746 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 23.746 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.746 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.746 * [taylor]: Taking taylor expansion of phi2 in phi1 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.746 * [taylor]: Taking taylor expansion of phi1 in phi1 23.746 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 23.746 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 23.746 * [taylor]: Taking taylor expansion of 0.5 in phi1 23.746 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 23.746 * [taylor]: Taking taylor expansion of phi2 in phi1 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 23.746 * [taylor]: Taking taylor expansion of phi1 in phi1 23.746 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 23.746 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 23.746 * [taylor]: Taking taylor expansion of 0.5 in phi2 23.746 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 23.746 * [taylor]: Taking taylor expansion of phi2 in phi2 23.746 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 23.746 * [taylor]: Taking taylor expansion of phi1 in phi2 23.747 * [taylor]: Taking taylor expansion of 0 in phi2 23.747 * [taylor]: Taking taylor expansion of 0 in phi2 23.747 * [taylor]: Taking taylor expansion of 0 in phi2 23.747 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 23.747 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 23.747 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 23.747 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 23.747 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.747 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 23.747 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.747 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.747 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.747 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.747 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.747 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.747 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.747 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.747 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.747 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.747 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.747 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.747 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.747 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.747 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.747 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.747 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.747 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.748 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 23.748 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.748 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.748 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.748 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.748 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.748 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 23.748 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 23.748 * [taylor]: Taking taylor expansion of 0.125 in lambda2 23.748 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.748 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.748 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.748 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.749 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 23.749 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 23.749 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 23.749 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.749 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.749 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.749 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.750 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 23.750 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.750 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.750 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.750 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.750 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.750 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.750 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.750 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.750 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.750 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.750 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.750 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.750 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.750 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.750 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.750 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.750 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.750 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.750 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.750 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.750 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.750 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.750 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.750 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.750 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.751 * [taylor]: Taking taylor expansion of 0 in lambda2 23.751 * [taylor]: Taking taylor expansion of 0 in lambda2 23.751 * [taylor]: Taking taylor expansion of 0 in lambda2 23.751 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 23.751 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.751 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.751 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.751 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.751 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.751 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.751 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.751 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.751 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.751 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.751 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.751 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.751 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.751 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.751 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.751 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.751 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.751 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.751 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.751 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.751 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.751 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.751 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.751 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.752 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.752 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.752 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.752 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.752 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.752 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.752 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.752 * [taylor]: Taking taylor expansion of 0 in lambda2 23.752 * [taylor]: Taking taylor expansion of 0 in lambda2 23.752 * [taylor]: Taking taylor expansion of 0 in lambda2 23.752 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 23.752 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 23.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 23.752 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 23.752 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.752 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 23.752 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.752 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.752 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.752 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.752 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.752 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.752 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.753 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.753 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.753 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.753 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.753 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.753 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.753 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.753 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.753 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.753 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 23.753 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.753 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.753 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.753 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.753 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.754 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 23.754 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 23.754 * [taylor]: Taking taylor expansion of 0.125 in lambda2 23.754 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.754 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.754 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.754 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.754 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 23.754 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 23.755 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 23.755 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.755 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.755 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.755 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.755 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 23.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.755 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.755 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.755 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.755 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.755 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.755 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.755 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.755 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.755 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.755 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.755 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.755 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.755 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.755 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.755 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.755 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.755 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.755 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.755 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.755 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.755 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.756 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.756 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.756 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.756 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.756 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.756 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.756 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.756 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.756 * [taylor]: Taking taylor expansion of 0 in lambda2 23.756 * [taylor]: Taking taylor expansion of 0 in lambda2 23.756 * [taylor]: Taking taylor expansion of 0 in lambda2 23.756 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 23.756 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.756 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.756 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.756 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.756 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.756 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.756 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.756 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.756 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.756 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.756 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.756 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.756 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.756 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.757 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.757 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.757 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.757 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.757 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.757 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.757 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.757 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.757 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.757 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.757 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.757 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.757 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.757 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.757 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.757 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.757 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.757 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.757 * [taylor]: Taking taylor expansion of 0 in lambda2 23.757 * [taylor]: Taking taylor expansion of 0 in lambda2 23.757 * [taylor]: Taking taylor expansion of 0 in lambda2 23.757 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 23.757 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 23.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 23.758 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 23.758 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 23.758 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.758 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.758 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.758 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.758 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.758 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 23.758 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 23.758 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 23.758 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.758 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.758 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.758 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.758 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.758 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.758 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 23.758 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.758 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.759 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.759 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.759 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.759 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 23.759 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 23.759 * [taylor]: Taking taylor expansion of 0.125 in lambda2 23.759 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 23.759 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.759 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.759 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.760 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 23.760 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 23.760 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 23.760 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 23.760 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 23.760 * [taylor]: Taking taylor expansion of -0.5 in lambda2 23.760 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.760 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 23.760 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.760 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.760 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.760 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.760 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.760 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.760 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.760 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.760 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.760 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.760 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.760 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.761 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.761 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.761 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.761 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.761 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 23.761 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 23.761 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.761 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 23.761 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.761 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.761 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.761 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.761 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 23.761 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 23.761 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.761 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 23.761 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.761 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.761 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.761 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.761 * [taylor]: Taking taylor expansion of 0 in lambda2 23.761 * [taylor]: Taking taylor expansion of 0 in lambda2 23.761 * [taylor]: Taking taylor expansion of 0 in lambda2 23.761 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 23.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.762 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.762 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.762 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.762 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.762 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.762 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 23.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 23.762 * [taylor]: Taking taylor expansion of 0.5 in lambda1 23.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 23.762 * [taylor]: Taking taylor expansion of lambda2 in lambda1 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 23.762 * [taylor]: Taking taylor expansion of lambda1 in lambda1 23.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 23.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 23.762 * [taylor]: Taking taylor expansion of 0.5 in lambda2 23.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 23.762 * [taylor]: Taking taylor expansion of lambda2 in lambda2 23.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 23.762 * [taylor]: Taking taylor expansion of lambda1 in lambda2 23.763 * [taylor]: Taking taylor expansion of 0 in lambda2 23.763 * [taylor]: Taking taylor expansion of 0 in lambda2 23.763 * [taylor]: Taking taylor expansion of 0 in lambda2 23.763 * * * [progress]: simplifying candidates 23.764 * [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))) 23.767 * * [simplify]: iteration 0 : 102 enodes (cost 248 ) 23.768 * * [simplify]: iteration 1 : 170 enodes (cost 216 ) 23.771 * * [simplify]: iteration 2 : 356 enodes (cost 216 ) 23.777 * * [simplify]: iteration 3 : 692 enodes (cost 216 ) 23.792 * * [simplify]: iteration 4 : 2118 enodes (cost 216 ) 23.844 * * [simplify]: iteration 5 : 5001 enodes (cost 216 ) 23.845 * [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))) 23.846 * * * [progress]: adding candidates to table 24.086 * * [progress]: iteration 3 / 4 24.086 * * * [progress]: picking best candidate 24.258 * * * * [pick]: Picked # 24.259 * * * [progress]: localizing error 24.302 * * * [progress]: generating rewritten candidates 24.302 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 24.306 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 24.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 24.316 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 24.321 * * * [progress]: generating series expansions 24.321 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 24.321 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 24.321 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 24.322 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 24.322 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.322 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 24.322 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.322 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.322 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.322 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.322 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.322 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.322 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.322 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.322 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.322 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.322 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.322 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.322 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.322 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.322 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.322 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.322 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.322 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.323 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 24.323 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.323 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.323 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.323 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.323 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.323 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 24.323 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 24.323 * [taylor]: Taking taylor expansion of 0.125 in lambda2 24.323 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.323 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.323 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.323 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.324 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 24.324 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 24.324 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 24.324 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.324 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.324 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.324 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.324 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 24.324 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.324 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.324 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.324 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.324 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.324 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.324 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.324 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.325 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.325 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.325 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.325 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.325 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.325 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.325 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.325 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.325 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.325 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.325 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.325 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.325 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.325 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.325 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.325 * [taylor]: Taking taylor expansion of 0 in lambda2 24.325 * [taylor]: Taking taylor expansion of 0 in lambda2 24.325 * [taylor]: Taking taylor expansion of 0 in lambda2 24.326 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 24.326 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.326 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.326 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.326 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.326 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.326 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.326 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.326 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.326 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.326 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.326 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.326 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.326 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.326 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.326 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.326 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.326 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.326 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.326 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.326 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.326 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.326 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.327 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.327 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.327 * [taylor]: Taking taylor expansion of 0 in lambda2 24.327 * [taylor]: Taking taylor expansion of 0 in lambda2 24.327 * [taylor]: Taking taylor expansion of 0 in lambda2 24.327 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 24.327 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 24.327 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 24.327 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 24.327 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.327 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 24.327 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.327 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.327 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.327 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.327 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.327 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.327 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.327 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.327 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.327 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.327 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.327 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.327 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.327 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.328 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.328 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.328 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.328 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.328 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 24.328 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.328 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.328 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.328 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.328 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.328 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 24.329 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 24.329 * [taylor]: Taking taylor expansion of 0.125 in lambda2 24.329 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.329 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.329 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.329 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.329 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 24.329 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 24.329 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 24.329 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.329 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.329 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.329 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.330 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 24.330 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.330 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.330 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.330 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.330 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.330 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.330 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.330 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.330 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.330 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.330 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.330 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.330 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.330 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.330 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.330 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.330 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.330 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.330 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.330 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.330 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.330 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.330 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.330 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.330 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.330 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.330 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.330 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.330 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.330 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.331 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.331 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.331 * [taylor]: Taking taylor expansion of 0 in lambda2 24.331 * [taylor]: Taking taylor expansion of 0 in lambda2 24.331 * [taylor]: Taking taylor expansion of 0 in lambda2 24.331 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 24.331 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.331 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.331 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.331 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.331 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.331 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.331 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.331 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.331 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.331 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.331 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.331 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.331 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.331 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.331 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.331 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.331 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.331 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.331 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.331 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.332 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.332 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.332 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.332 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.332 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.332 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.332 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.332 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.332 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.332 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.332 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.332 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.332 * [taylor]: Taking taylor expansion of 0 in lambda2 24.332 * [taylor]: Taking taylor expansion of 0 in lambda2 24.332 * [taylor]: Taking taylor expansion of 0 in lambda2 24.332 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 24.332 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 24.332 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 24.332 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 24.332 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.332 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 24.332 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.332 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.332 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.332 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.333 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.333 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.333 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.333 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.333 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.333 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.333 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.333 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.333 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.333 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.333 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.333 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.333 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.333 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.333 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 24.333 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.333 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.333 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.333 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.333 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.334 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 24.334 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 24.334 * [taylor]: Taking taylor expansion of 0.125 in lambda2 24.334 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.334 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.334 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.334 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.335 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 24.335 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 24.335 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 24.335 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.335 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.335 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.335 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.335 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 24.335 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.335 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.335 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.335 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.335 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.335 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.335 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.335 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.335 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.335 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.335 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.335 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.335 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.335 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.335 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.335 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.335 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.335 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.336 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.336 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.336 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.336 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.336 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.336 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.336 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.336 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.336 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.336 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.336 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.336 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.336 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.336 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.336 * [taylor]: Taking taylor expansion of 0 in lambda2 24.336 * [taylor]: Taking taylor expansion of 0 in lambda2 24.336 * [taylor]: Taking taylor expansion of 0 in lambda2 24.336 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 24.336 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.336 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.336 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.336 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.336 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.336 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.336 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.336 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.337 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.337 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.337 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.337 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.337 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.337 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.337 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.337 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.337 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.337 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.337 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.337 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.337 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.337 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.337 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.337 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.337 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.337 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.337 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.337 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.337 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.337 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.337 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.337 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.337 * [taylor]: Taking taylor expansion of 0 in lambda2 24.337 * [taylor]: Taking taylor expansion of 0 in lambda2 24.337 * [taylor]: Taking taylor expansion of 0 in lambda2 24.338 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 24.338 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 24.338 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 24.338 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 24.338 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.338 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 24.338 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.338 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.338 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.338 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.338 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.338 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.338 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.338 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.338 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 24.338 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 24.338 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.338 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 24.338 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.338 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.338 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.338 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.338 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.338 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.339 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 24.339 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.339 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.339 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.339 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.339 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.339 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 24.339 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 24.339 * [taylor]: Taking taylor expansion of 0.125 in lambda2 24.339 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 24.339 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.339 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.339 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.340 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 24.340 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 24.340 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 24.340 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 24.340 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 24.340 * [taylor]: Taking taylor expansion of -0.5 in lambda2 24.340 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.340 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 24.340 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.340 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.340 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.340 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.340 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.340 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.340 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.340 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.341 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.341 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.341 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.341 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.341 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.341 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.341 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.341 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.341 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 24.341 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 24.341 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.341 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 24.341 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.341 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.341 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.341 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.341 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 24.341 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 24.341 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.341 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 24.341 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.341 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.341 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.341 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.341 * [taylor]: Taking taylor expansion of 0 in lambda2 24.341 * [taylor]: Taking taylor expansion of 0 in lambda2 24.341 * [taylor]: Taking taylor expansion of 0 in lambda2 24.342 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 24.342 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.342 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.342 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.342 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.342 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.342 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.342 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.342 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.342 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.342 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.342 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.342 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.342 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 24.342 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 24.342 * [taylor]: Taking taylor expansion of 0.5 in lambda1 24.342 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 24.342 * [taylor]: Taking taylor expansion of lambda2 in lambda1 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 24.342 * [taylor]: Taking taylor expansion of lambda1 in lambda1 24.342 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 24.342 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 24.342 * [taylor]: Taking taylor expansion of 0.5 in lambda2 24.342 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 24.342 * [taylor]: Taking taylor expansion of lambda2 in lambda2 24.342 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 24.342 * [taylor]: Taking taylor expansion of lambda1 in lambda2 24.343 * [taylor]: Taking taylor expansion of 0 in lambda2 24.343 * [taylor]: Taking taylor expansion of 0 in lambda2 24.343 * [taylor]: Taking taylor expansion of 0 in lambda2 24.343 * * * [progress]: simplifying candidates 24.343 * [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))) 24.346 * * [simplify]: iteration 0 : 54 enodes (cost 248 ) 24.348 * * [simplify]: iteration 1 : 89 enodes (cost 216 ) 24.350 * * [simplify]: iteration 2 : 188 enodes (cost 216 ) 24.353 * * [simplify]: iteration 3 : 373 enodes (cost 216 ) 24.363 * * [simplify]: iteration 4 : 1242 enodes (cost 216 ) 24.396 * * [simplify]: iteration 5 : 4970 enodes (cost 216 ) 24.533 * * [simplify]: iteration 6 : 5002 enodes (cost 216 ) 24.535 * [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))) 24.536 * * * [progress]: adding candidates to table 24.818 * * [progress]: iteration 4 / 4 24.818 * * * [progress]: picking best candidate 25.015 * * * * [pick]: Picked # 25.015 * * * [progress]: localizing error 25.065 * * * [progress]: generating rewritten candidates 25.065 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 25.073 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 25.078 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 25.082 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 25.088 * * * [progress]: generating series expansions 25.088 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 25.088 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.088 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.088 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.088 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.088 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.088 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.088 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.088 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.088 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.088 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.088 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.088 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.088 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.088 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.088 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.088 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.088 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.088 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.088 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.089 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.089 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.089 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.089 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.089 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.089 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.089 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.089 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.089 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.089 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.089 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.089 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.090 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.090 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.090 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.090 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.090 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.090 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.090 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.090 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.090 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.090 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.090 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.090 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.091 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.091 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.091 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.091 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.091 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.091 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.091 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.091 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.091 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.091 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.091 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.091 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.091 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.091 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.091 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.091 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.091 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.091 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.091 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.091 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.091 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.091 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.091 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.091 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.091 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.091 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.091 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.092 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.092 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.092 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.092 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.092 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.092 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.092 * [taylor]: Taking taylor expansion of 0 in lambda2 25.092 * [taylor]: Taking taylor expansion of 0 in lambda2 25.092 * [taylor]: Taking taylor expansion of 0 in lambda2 25.092 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 25.092 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.092 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.092 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.092 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.092 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.092 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.092 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.092 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.092 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.092 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.092 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.092 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.092 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.092 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.092 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.092 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.093 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.093 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.093 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.093 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.093 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.093 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.093 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.093 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.093 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.093 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.093 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.093 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.093 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.093 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.093 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.093 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.093 * [taylor]: Taking taylor expansion of 0 in lambda2 25.093 * [taylor]: Taking taylor expansion of 0 in lambda2 25.093 * [taylor]: Taking taylor expansion of 0 in lambda2 25.093 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 25.093 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.093 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.093 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.093 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.094 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.094 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.094 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.094 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.094 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.094 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.094 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.094 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.094 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.094 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.094 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.094 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.094 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.094 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.094 * [taylor]: Taking taylor expansion of lambda2 in lambda1 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.094 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.094 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.094 * [taylor]: Taking taylor expansion of (cos (* -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.125 (sin (* -0.5 lambda2)))) in lambda2 25.095 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.095 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.095 * [taylor]: Taking taylor expansion of (sin (* -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.096 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.096 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.096 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.096 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.096 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.096 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.096 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.096 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 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 (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.096 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.096 * [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.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 (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.097 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.097 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.097 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 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 (/ 1 lambda2) in lambda1 25.097 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.097 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.097 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.097 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.097 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 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 (/ 1 lambda2) in lambda2 25.097 * [taylor]: Taking taylor expansion of lambda2 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.097 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 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.098 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.098 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.098 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.098 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.098 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.098 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.098 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.098 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.098 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.098 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.098 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.098 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.098 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.099 * [taylor]: Taking taylor expansion of 0 in lambda2 25.099 * [taylor]: Taking taylor expansion of 0 in lambda2 25.099 * [taylor]: Taking taylor expansion of 0 in lambda2 25.099 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 25.099 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.099 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.099 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.099 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.099 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.099 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.099 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.099 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.099 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.099 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.099 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.099 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.099 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.099 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.099 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.099 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.099 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.099 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.099 * [taylor]: Taking taylor expansion of lambda2 in lambda1 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 (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.100 * [taylor]: Taking taylor expansion of 0.5 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 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.100 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.100 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.100 * [taylor]: Taking taylor expansion of (sin (* -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.101 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.101 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.101 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.101 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.101 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.101 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.101 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.101 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.102 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 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 (/ 1 lambda2) in lambda2 25.102 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.102 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 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 (/ 1 lambda2) in lambda1 25.102 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.102 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 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 (/ 1 lambda2) in lambda1 25.102 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.102 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 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 (/ 1 lambda2) in lambda2 25.102 * [taylor]: Taking taylor expansion of lambda2 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 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 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 (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.103 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.103 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.103 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.103 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.103 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.103 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.103 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.103 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.103 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.103 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.103 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.103 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.103 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.103 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.103 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.104 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.104 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.104 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.104 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.104 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.104 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.104 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.104 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.104 * [taylor]: Taking taylor expansion of 0 in lambda2 25.104 * [taylor]: Taking taylor expansion of 0 in lambda2 25.104 * [taylor]: Taking taylor expansion of 0 in lambda2 25.104 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 25.104 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 25.104 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 25.104 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 25.104 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.104 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 25.104 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.104 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.104 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.104 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.104 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.104 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.104 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.104 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.104 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 25.104 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 25.105 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.105 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 25.105 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.105 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.105 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.105 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.105 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.105 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 25.105 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.105 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.105 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.105 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.106 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 25.106 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 25.106 * [taylor]: Taking taylor expansion of 0.125 in lambda2 25.106 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 25.106 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.106 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.106 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.106 * [taylor]: Taking taylor expansion of (neg (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 25.106 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 25.106 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 25.106 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 25.106 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 25.107 * [taylor]: Taking taylor expansion of -0.5 in lambda2 25.107 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.107 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 25.107 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.107 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.107 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.107 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.107 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.107 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.107 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.107 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.107 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.107 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.107 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.107 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.107 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.107 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.107 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.107 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.108 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 25.108 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 25.108 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 25.108 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.108 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.108 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.108 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 25.108 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 25.108 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 25.108 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.108 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.108 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.108 * [taylor]: Taking taylor expansion of 0 in lambda2 25.108 * [taylor]: Taking taylor expansion of 0 in lambda2 25.108 * [taylor]: Taking taylor expansion of 0 in lambda2 25.108 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 25.108 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.108 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.108 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.108 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.109 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.109 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.109 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.109 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.109 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.109 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.109 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.109 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.109 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.109 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.109 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 25.109 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 25.109 * [taylor]: Taking taylor expansion of 0.5 in lambda1 25.109 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 25.109 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 25.109 * [taylor]: Taking taylor expansion of lambda2 in lambda1 25.109 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 25.109 * [taylor]: Taking taylor expansion of lambda1 in lambda1 25.109 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 25.109 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 25.109 * [taylor]: Taking taylor expansion of 0.5 in lambda2 25.109 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 25.109 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 25.109 * [taylor]: Taking taylor expansion of lambda2 in lambda2 25.109 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 25.109 * [taylor]: Taking taylor expansion of lambda1 in lambda2 25.109 * [taylor]: Taking taylor expansion of 0 in lambda2 25.109 * [taylor]: Taking taylor expansion of 0 in lambda2 25.110 * [taylor]: Taking taylor expansion of 0 in lambda2 25.110 * * * [progress]: simplifying candidates 25.110 * [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))) 25.114 * * [simplify]: iteration 0 : 91 enodes (cost 298 ) 25.115 * * [simplify]: iteration 1 : 150 enodes (cost 260 ) 25.118 * * [simplify]: iteration 2 : 292 enodes (cost 260 ) 25.122 * * [simplify]: iteration 3 : 578 enodes (cost 260 ) 25.134 * * [simplify]: iteration 4 : 1948 enodes (cost 260 ) 25.173 * * [simplify]: iteration 5 : 5001 enodes (cost 260 ) 25.175 * [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))) 25.175 * * * [progress]: adding candidates to table 25.498 * [progress]: [Phase 3 of 3] Extracting. 25.498 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # #) 25.562 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 25.562 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # # #) 25.815 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # # # # # # #) 26.073 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # # # # # # #) 26.338 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # # #) 26.592 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # # #) 26.845 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # # #) 27.095 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # # #) 27.377 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # # #) 27.635 * * * [regime]: Found split indices: #