18.499 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.263 * * * [progress]: [2/2] Setting up program. 0.269 * [progress]: [Phase 2 of 3] Improving. 0.269 * [simplify]: Simplifying using # : (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 0.270 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.274 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.281 * * [simplify]: iteration 2 : 100 enodes (cost 63 ) 0.296 * * [simplify]: iteration 3 : 178 enodes (cost 63 ) 0.330 * * [simplify]: iteration 4 : 378 enodes (cost 63 ) 0.417 * * [simplify]: iteration 5 : 715 enodes (cost 63 ) 0.660 * * [simplify]: iteration 6 : 2084 enodes (cost 63 ) 2.099 * * [simplify]: iteration done : 5000 enodes (cost 63 ) 2.099 * [simplify]: Simplified to: (* 2.0 (* (atan2 (sqrt (fma (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 2.0))) (sqrt (- 1.0 (fma (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- phi1 phi2) 2.0)) 2.0))))) R)) 2.106 * * [progress]: iteration 1 / 4 2.106 * * * [progress]: picking best candidate 2.116 * * * * [pick]: Picked # 2.116 * * * [progress]: localizing error 2.150 * * * [progress]: generating rewritten candidates 2.150 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 2 2) 2.155 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2 2 1) 2.161 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2 2) 2.166 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2 1) 2.174 * * * [progress]: generating series expansions 2.174 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 2 2) 2.174 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.174 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.174 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.174 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.174 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.175 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.175 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.175 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.175 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.175 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.175 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.175 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.175 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.175 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.175 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.175 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.175 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.175 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.175 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.176 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.176 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.176 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.176 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.180 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.180 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.180 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.180 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.180 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.180 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.188 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.188 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.188 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.188 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.188 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.188 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.197 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.197 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.197 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.197 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.197 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.197 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.197 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.200 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.200 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.200 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.200 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.200 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.200 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.200 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.200 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.200 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.201 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.201 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.201 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.201 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.201 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.201 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.201 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.201 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.202 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.202 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.202 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.202 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.202 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.202 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.202 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.202 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.203 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.203 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.203 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.203 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.203 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.203 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.203 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.204 * [taylor]: Taking taylor expansion of 0 in lambda2 2.204 * [taylor]: Taking taylor expansion of 0 in lambda2 2.204 * [taylor]: Taking taylor expansion of 0 in lambda2 2.205 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.205 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.205 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.205 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.205 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.205 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.206 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.206 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.206 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.206 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.206 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.206 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.206 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.206 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.207 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.207 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.207 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.207 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.207 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.207 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.207 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.207 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.208 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.208 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.208 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.208 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.208 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.208 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.208 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.208 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.209 * [taylor]: Taking taylor expansion of 0 in lambda2 2.209 * [taylor]: Taking taylor expansion of 0 in lambda2 2.209 * [taylor]: Taking taylor expansion of 0 in lambda2 2.209 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2 2 1) 2.210 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.210 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.210 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.210 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.210 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.210 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.210 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.210 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.210 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.210 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.210 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.210 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.210 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.210 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.210 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.210 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.210 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.210 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.210 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.211 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.211 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.211 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.211 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.215 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.215 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.215 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.215 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.215 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.215 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.222 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.222 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.222 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.222 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.222 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.223 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.223 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.231 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.231 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.231 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.231 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.231 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.231 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.231 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.234 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.234 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.234 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.234 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.234 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.234 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.234 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.234 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.234 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.235 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.235 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.235 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.235 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.235 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.235 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.236 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.236 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.236 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.236 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.236 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.236 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.236 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.236 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.237 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.237 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.237 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.237 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.237 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.237 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.237 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.237 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.237 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.237 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.238 * [taylor]: Taking taylor expansion of 0 in lambda2 2.239 * [taylor]: Taking taylor expansion of 0 in lambda2 2.239 * [taylor]: Taking taylor expansion of 0 in lambda2 2.239 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.239 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.239 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.239 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.239 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.239 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.239 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.239 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.239 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.240 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.240 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.240 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.240 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.240 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.240 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.240 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.240 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.241 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.241 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.241 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.241 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.241 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.241 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.241 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.241 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.242 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.242 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.242 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.242 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.242 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.242 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.243 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.243 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.243 * [taylor]: Taking taylor expansion of 0 in lambda2 2.243 * [taylor]: Taking taylor expansion of 0 in lambda2 2.243 * [taylor]: Taking taylor expansion of 0 in lambda2 2.244 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2 2) 2.244 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.244 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.244 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.244 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.244 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.244 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.244 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.244 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.244 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.244 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.244 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.244 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.244 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.244 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.244 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.244 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.244 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.244 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.244 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.245 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.245 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.245 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.245 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.249 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.249 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.249 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.249 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.249 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.249 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.260 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.260 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.260 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.260 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.260 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.260 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.260 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.268 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.269 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.269 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.269 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.269 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.269 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.269 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.271 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.271 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.271 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.271 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.271 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.271 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.271 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.271 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.271 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.272 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.272 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.272 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.272 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.272 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.273 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.273 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.273 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.273 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.273 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.273 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.273 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.274 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.274 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.274 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.274 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.274 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.275 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.275 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.275 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.275 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.275 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.275 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.275 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.276 * [taylor]: Taking taylor expansion of 0 in lambda2 2.276 * [taylor]: Taking taylor expansion of 0 in lambda2 2.276 * [taylor]: Taking taylor expansion of 0 in lambda2 2.276 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.276 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.276 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.276 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.276 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.276 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.276 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.276 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.276 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.277 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.277 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.277 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.277 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.277 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.277 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.277 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.277 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.278 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.278 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.278 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.278 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.278 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.278 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.279 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.279 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.280 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.280 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.280 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.280 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.280 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.280 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.280 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.280 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.281 * [taylor]: Taking taylor expansion of 0 in lambda2 2.281 * [taylor]: Taking taylor expansion of 0 in lambda2 2.281 * [taylor]: Taking taylor expansion of 0 in lambda2 2.281 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2 1) 2.281 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.281 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.281 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.281 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.281 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.281 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.281 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.282 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.282 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.282 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.282 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.282 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.282 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.282 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.282 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.282 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.282 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.282 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.282 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.282 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.282 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.282 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.282 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.286 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.286 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.286 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.286 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.286 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.286 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.294 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.294 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.294 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.294 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.294 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.294 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.294 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.303 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.303 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.303 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.303 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.303 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.303 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.303 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.306 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.306 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.306 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.306 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.306 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.306 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.306 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.306 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.306 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.307 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.307 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.307 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.307 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.307 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.307 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.307 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.307 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.308 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.308 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.308 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.308 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.308 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.308 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.308 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.308 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.309 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.309 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.309 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.309 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.309 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.309 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.309 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.309 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.310 * [taylor]: Taking taylor expansion of 0 in lambda2 2.310 * [taylor]: Taking taylor expansion of 0 in lambda2 2.311 * [taylor]: Taking taylor expansion of 0 in lambda2 2.311 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.311 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.311 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.311 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.311 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.311 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.311 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.311 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.311 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.312 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.312 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.312 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.312 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.312 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.312 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.312 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.312 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.313 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.313 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.313 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.313 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.313 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.313 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.313 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.313 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.314 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.314 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.314 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.314 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.314 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.314 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.315 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.315 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.315 * [taylor]: Taking taylor expansion of 0 in lambda2 2.315 * [taylor]: Taking taylor expansion of 0 in lambda2 2.315 * [taylor]: Taking taylor expansion of 0 in lambda2 2.316 * * * [progress]: simplifying candidates 2.316 * [simplify]: Simplifying using # : (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 2.318 * * [simplify]: iteration 0 : 34 enodes (cost 508 ) 2.323 * * [simplify]: iteration 1 : 59 enodes (cost 504 ) 2.332 * * [simplify]: iteration 2 : 100 enodes (cost 452 ) 2.352 * * [simplify]: iteration 3 : 198 enodes (cost 452 ) 2.397 * * [simplify]: iteration 4 : 457 enodes (cost 452 ) 2.546 * * [simplify]: iteration 5 : 1232 enodes (cost 452 ) 3.220 * * [simplify]: iteration 6 : 4303 enodes (cost 452 ) 6.671 * * [simplify]: iteration done : 5000 enodes (cost 452 ) 6.671 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 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))) 6.672 * * * [progress]: adding candidates to table 7.037 * * [progress]: iteration 2 / 4 7.037 * * * [progress]: picking best candidate 7.125 * * * * [pick]: Picked # 7.125 * * * [progress]: localizing error 7.165 * * * [progress]: generating rewritten candidates 7.165 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 2 2) 7.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2 2 1) 7.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 2 2) 7.182 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1) 7.187 * * * [progress]: generating series expansions 7.187 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 2 2) 7.188 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.188 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.188 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.188 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.188 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.188 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.188 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.188 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.188 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.188 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.188 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.189 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.189 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.189 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.189 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.189 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.189 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.189 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.189 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.193 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.193 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.193 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.193 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.193 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.193 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.203 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.204 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.204 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.204 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.204 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.204 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.204 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.212 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 7.212 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 7.212 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 7.212 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.212 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.213 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.213 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.215 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.215 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.215 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.215 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.215 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.215 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.215 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.215 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.215 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.217 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.217 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.217 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.217 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.217 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.217 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.217 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.217 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.218 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.218 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.218 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.218 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.218 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.218 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.218 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.218 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.219 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.219 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.219 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.219 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.219 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.219 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.219 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.219 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.220 * [taylor]: Taking taylor expansion of 0 in lambda2 7.220 * [taylor]: Taking taylor expansion of 0 in lambda2 7.220 * [taylor]: Taking taylor expansion of 0 in lambda2 7.220 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.220 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.220 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.220 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.220 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.220 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.221 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.221 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.221 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.221 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.221 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.221 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.221 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.221 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.221 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.221 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.222 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.222 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.222 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.222 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.222 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.222 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.223 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.223 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.224 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.224 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.224 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.224 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.224 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.224 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.225 * [taylor]: Taking taylor expansion of 0 in lambda2 7.225 * [taylor]: Taking taylor expansion of 0 in lambda2 7.225 * [taylor]: Taking taylor expansion of 0 in lambda2 7.225 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2 2 1) 7.225 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.225 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.225 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.225 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.225 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.225 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.225 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.225 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.226 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.226 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.226 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.226 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.226 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.226 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.226 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.226 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.226 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.226 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.226 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.226 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.226 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.226 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.226 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.230 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.230 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.230 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.230 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.230 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.230 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.238 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.238 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.238 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.238 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.238 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.238 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.238 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.247 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 7.247 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 7.247 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 7.247 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.247 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.247 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.247 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.249 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.249 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.249 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.249 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.249 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.249 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.249 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.249 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.249 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.250 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.251 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.251 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.251 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.251 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.251 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.251 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.251 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.252 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.252 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.252 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.252 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.252 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.252 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.252 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.252 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.253 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.253 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.253 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.253 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.253 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.253 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.253 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.253 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.254 * [taylor]: Taking taylor expansion of 0 in lambda2 7.254 * [taylor]: Taking taylor expansion of 0 in lambda2 7.254 * [taylor]: Taking taylor expansion of 0 in lambda2 7.254 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.254 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.254 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.254 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.254 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.254 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.254 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.255 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.255 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.255 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.255 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.255 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.255 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.255 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.255 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.255 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.255 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.256 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.257 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.257 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.257 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.257 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.257 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.257 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.257 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.258 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.258 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.258 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.258 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.258 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.258 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.258 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.258 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.259 * [taylor]: Taking taylor expansion of 0 in lambda2 7.259 * [taylor]: Taking taylor expansion of 0 in lambda2 7.259 * [taylor]: Taking taylor expansion of 0 in lambda2 7.259 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 2 2) 7.259 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.259 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.259 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.259 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.259 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.259 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.259 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.260 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.260 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.260 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.260 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.260 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.260 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.260 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.260 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.260 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.260 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.260 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.260 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.260 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.260 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.260 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.260 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.264 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.264 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.264 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.264 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.264 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.264 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.272 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.272 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.272 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.272 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.272 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.272 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.272 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.281 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 7.281 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 7.281 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 7.281 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.281 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.281 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.281 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.286 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.286 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.286 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.286 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.286 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.286 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.286 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.286 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.286 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.287 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.287 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.287 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.288 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.288 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.288 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.288 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.288 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.288 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.288 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.288 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.289 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.289 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.289 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.289 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.289 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.290 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.290 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.290 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.290 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.290 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.290 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.290 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.290 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.291 * [taylor]: Taking taylor expansion of 0 in lambda2 7.291 * [taylor]: Taking taylor expansion of 0 in lambda2 7.291 * [taylor]: Taking taylor expansion of 0 in lambda2 7.291 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.291 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.291 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.291 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.291 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.291 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.291 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.291 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.291 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.292 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.292 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.292 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.292 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.292 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.292 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.292 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.292 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.293 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.293 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.293 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.293 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.293 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.293 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.293 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.293 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.295 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.295 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.295 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.295 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.295 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.295 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.295 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.295 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.296 * [taylor]: Taking taylor expansion of 0 in lambda2 7.296 * [taylor]: Taking taylor expansion of 0 in lambda2 7.296 * [taylor]: Taking taylor expansion of 0 in lambda2 7.296 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2 1 1 1) 7.296 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.296 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.296 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.296 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.296 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.296 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.296 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.296 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.296 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.296 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.297 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.297 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.297 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.297 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.297 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.297 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.297 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.297 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.297 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.297 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.297 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.297 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.297 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.301 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.301 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.301 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.302 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.302 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.302 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.309 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.309 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.309 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.309 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.309 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.309 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.309 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.318 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 7.318 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 7.318 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 7.318 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.318 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.318 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.318 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.321 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.321 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.321 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.321 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.321 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.321 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.321 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.322 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.322 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.322 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.322 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.322 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.322 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.322 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.322 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.323 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.323 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.323 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.323 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.323 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.323 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.323 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.323 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.324 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.324 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.324 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.324 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.324 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.324 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.324 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.324 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.325 * [taylor]: Taking taylor expansion of 0 in lambda2 7.325 * [taylor]: Taking taylor expansion of 0 in lambda2 7.325 * [taylor]: Taking taylor expansion of 0 in lambda2 7.326 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.326 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.326 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.326 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.326 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.326 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.327 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.327 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.327 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.327 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.327 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.327 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.327 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.327 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.328 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.328 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.328 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.328 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.328 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.328 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.328 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.328 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.329 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.329 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.329 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.329 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.329 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.329 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.329 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.329 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.330 * [taylor]: Taking taylor expansion of 0 in lambda2 7.330 * [taylor]: Taking taylor expansion of 0 in lambda2 7.330 * [taylor]: Taking taylor expansion of 0 in lambda2 7.330 * * * [progress]: simplifying candidates 7.331 * [simplify]: Simplifying using # : (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 7.333 * * [simplify]: iteration 0 : 34 enodes (cost 508 ) 7.338 * * [simplify]: iteration 1 : 59 enodes (cost 504 ) 7.347 * * [simplify]: iteration 2 : 100 enodes (cost 452 ) 7.366 * * [simplify]: iteration 3 : 198 enodes (cost 452 ) 7.413 * * [simplify]: iteration 4 : 457 enodes (cost 452 ) 7.559 * * [simplify]: iteration 5 : 1232 enodes (cost 452 ) 8.234 * * [simplify]: iteration 6 : 4303 enodes (cost 452 ) 11.479 * * [simplify]: iteration done : 5000 enodes (cost 452 ) 11.480 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 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))) 11.480 * * * [progress]: adding candidates to table 11.880 * * [progress]: iteration 3 / 4 11.880 * * * [progress]: picking best candidate 11.976 * * * * [pick]: Picked # 11.976 * * * [progress]: localizing error 12.024 * * * [progress]: generating rewritten candidates 12.024 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 2 1) 12.031 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2 2 2) 12.036 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2 2 1 1 1) 12.041 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2 2) 12.047 * * * [progress]: generating series expansions 12.048 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 2 1) 12.048 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 12.048 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 12.048 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 12.048 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.048 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 12.048 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.048 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.048 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.049 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.049 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.049 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.049 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.049 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.049 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.049 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.049 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.049 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.049 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.049 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.049 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.049 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.049 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.049 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.053 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 12.053 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.053 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.053 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.054 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.054 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.061 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 12.062 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 12.062 * [taylor]: Taking taylor expansion of 0.125 in lambda2 12.062 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.062 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.062 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.062 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.070 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 12.070 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 12.070 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 12.070 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.071 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.071 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.071 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.073 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 12.073 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.073 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.073 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.073 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.073 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.073 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.073 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.073 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.074 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.074 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.074 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.074 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.074 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.075 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.075 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.075 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.075 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.075 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.075 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.075 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.075 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.076 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.076 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.076 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.076 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.076 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.076 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.077 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.077 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.077 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.077 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.077 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.078 * [taylor]: Taking taylor expansion of 0 in lambda2 12.078 * [taylor]: Taking taylor expansion of 0 in lambda2 12.078 * [taylor]: Taking taylor expansion of 0 in lambda2 12.078 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 12.078 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.078 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.078 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.078 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.078 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.078 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.078 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.079 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.079 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.079 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.079 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.079 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.079 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.079 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.079 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.079 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.081 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.081 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.081 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.081 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.081 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.081 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.081 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.081 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.082 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.082 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.082 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.082 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.082 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.082 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.082 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.082 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.083 * [taylor]: Taking taylor expansion of 0 in lambda2 12.083 * [taylor]: Taking taylor expansion of 0 in lambda2 12.083 * [taylor]: Taking taylor expansion of 0 in lambda2 12.083 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2 2 2) 12.083 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 12.083 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 12.083 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 12.083 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.083 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 12.083 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.083 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.084 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.084 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.084 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.084 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.084 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.084 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.084 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.084 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.084 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.084 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.084 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.084 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.084 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.084 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.084 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.084 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.088 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 12.088 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.089 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.089 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.089 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.089 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.096 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 12.096 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 12.096 * [taylor]: Taking taylor expansion of 0.125 in lambda2 12.096 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.096 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.096 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.096 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.108 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 12.108 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 12.108 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 12.108 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.108 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.108 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.108 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.111 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 12.111 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.111 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.111 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.111 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.111 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.111 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.111 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.111 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.112 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.112 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.112 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.112 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.112 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.112 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.112 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.112 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.113 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.113 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.113 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.113 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.113 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.113 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.113 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.113 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.114 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.114 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.114 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.114 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.114 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.114 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.114 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.114 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.115 * [taylor]: Taking taylor expansion of 0 in lambda2 12.115 * [taylor]: Taking taylor expansion of 0 in lambda2 12.115 * [taylor]: Taking taylor expansion of 0 in lambda2 12.116 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 12.116 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.116 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.116 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.116 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.116 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.116 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.116 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.116 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.117 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.117 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.117 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.117 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.117 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.117 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.117 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.117 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.118 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.118 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.118 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.118 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.118 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.118 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.118 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.118 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.119 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.119 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.119 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.119 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.119 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.119 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.119 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.119 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.120 * [taylor]: Taking taylor expansion of 0 in lambda2 12.120 * [taylor]: Taking taylor expansion of 0 in lambda2 12.120 * [taylor]: Taking taylor expansion of 0 in lambda2 12.120 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2 2 1 1 1) 12.120 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 12.120 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 12.120 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 12.121 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.121 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 12.121 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.121 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.121 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.121 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.121 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.121 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.121 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.121 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.121 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.121 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.121 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.121 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.121 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.121 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.121 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.122 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.122 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.122 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.126 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 12.126 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.126 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.126 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.126 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.126 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.134 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 12.134 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 12.134 * [taylor]: Taking taylor expansion of 0.125 in lambda2 12.134 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.134 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.134 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.134 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.142 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 12.143 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 12.143 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 12.143 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.143 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.143 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.143 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.145 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 12.145 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.145 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.145 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.145 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.145 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.145 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.145 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.145 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.146 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.146 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.146 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.147 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.147 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.147 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.147 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.147 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.147 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.147 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.147 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.148 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.148 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.148 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.148 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.148 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.149 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.149 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.149 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.149 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.149 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.149 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.149 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.149 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.150 * [taylor]: Taking taylor expansion of 0 in lambda2 12.150 * [taylor]: Taking taylor expansion of 0 in lambda2 12.150 * [taylor]: Taking taylor expansion of 0 in lambda2 12.150 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 12.150 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.150 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.150 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.150 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.150 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.150 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.150 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.150 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.151 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.151 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.151 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.151 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.151 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.151 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.151 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.151 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.152 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.152 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.152 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.152 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.152 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.152 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.152 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.152 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.154 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.154 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.154 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.154 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.154 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.154 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.154 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.154 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.155 * [taylor]: Taking taylor expansion of 0 in lambda2 12.155 * [taylor]: Taking taylor expansion of 0 in lambda2 12.155 * [taylor]: Taking taylor expansion of 0 in lambda2 12.155 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2 2) 12.155 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 12.155 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 12.155 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 12.155 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.155 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 12.155 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.155 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.155 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.155 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.156 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.156 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.156 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.156 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.156 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 12.156 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 12.156 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.156 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 12.156 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.156 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.156 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.156 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.156 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.156 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.160 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 12.160 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.160 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.160 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.160 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.160 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.168 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 12.168 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 12.168 * [taylor]: Taking taylor expansion of 0.125 in lambda2 12.168 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 12.168 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.168 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.168 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.177 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 12.177 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 12.177 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 12.177 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 12.177 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 12.177 * [taylor]: Taking taylor expansion of -0.5 in lambda2 12.177 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.180 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 12.180 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.180 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.180 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.180 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.180 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.180 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.180 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.180 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.184 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.184 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.184 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.184 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.184 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.184 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.184 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.184 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.185 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 12.185 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 12.185 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.185 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 12.185 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.185 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.185 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.185 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.186 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 12.186 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 12.186 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.186 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 12.186 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.186 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.186 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.186 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.187 * [taylor]: Taking taylor expansion of 0 in lambda2 12.187 * [taylor]: Taking taylor expansion of 0 in lambda2 12.187 * [taylor]: Taking taylor expansion of 0 in lambda2 12.187 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 12.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.188 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.188 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.188 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.188 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.188 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.188 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.189 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.189 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.189 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.189 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.189 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.189 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.189 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.189 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.190 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 12.190 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 12.190 * [taylor]: Taking taylor expansion of 0.5 in lambda1 12.190 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 12.190 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 12.190 * [taylor]: Taking taylor expansion of lambda2 in lambda1 12.190 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 12.190 * [taylor]: Taking taylor expansion of lambda1 in lambda1 12.191 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 12.191 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 12.191 * [taylor]: Taking taylor expansion of 0.5 in lambda2 12.191 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 12.191 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 12.191 * [taylor]: Taking taylor expansion of lambda2 in lambda2 12.191 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 12.191 * [taylor]: Taking taylor expansion of lambda1 in lambda2 12.192 * [taylor]: Taking taylor expansion of 0 in lambda2 12.192 * [taylor]: Taking taylor expansion of 0 in lambda2 12.192 * [taylor]: Taking taylor expansion of 0 in lambda2 12.192 * * * [progress]: simplifying candidates 12.193 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (log1p (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (log (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt 1) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (* (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (* (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 12.196 * * [simplify]: iteration 0 : 63 enodes (cost 773 ) 12.207 * * [simplify]: iteration 1 : 119 enodes (cost 626 ) 12.233 * * [simplify]: iteration 2 : 279 enodes (cost 586 ) 12.318 * * [simplify]: iteration 3 : 680 enodes (cost 586 ) 12.578 * * [simplify]: iteration 4 : 2250 enodes (cost 586 ) 13.339 * * [simplify]: iteration done : 5000 enodes (cost 586 ) 13.340 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (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))) 13.340 * * * [progress]: adding candidates to table 13.790 * * [progress]: iteration 4 / 4 13.790 * * * [progress]: picking best candidate 13.896 * * * * [pick]: Picked # 13.896 * * * [progress]: localizing error 13.945 * * * [progress]: generating rewritten candidates 13.946 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 2 1) 13.952 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2 2 2 1 1) 13.957 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2 2 1 1 1) 13.962 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2 2) 13.969 * * * [progress]: generating series expansions 13.969 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 2 1) 13.969 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 13.969 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 13.969 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 13.969 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.969 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 13.969 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.969 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.970 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.970 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.970 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.970 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.970 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.970 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.970 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 13.970 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 13.970 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.970 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 13.970 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.970 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.970 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.970 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.970 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.970 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.975 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 13.975 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.975 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.975 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.975 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.975 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.982 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 13.982 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 13.982 * [taylor]: Taking taylor expansion of 0.125 in lambda2 13.982 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 13.982 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.982 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.982 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.991 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 13.991 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 13.991 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 13.991 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 13.991 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 13.991 * [taylor]: Taking taylor expansion of -0.5 in lambda2 13.991 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.994 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 13.994 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.994 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.994 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.994 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.994 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.994 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.994 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.994 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.995 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.995 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.995 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.995 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.995 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.995 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.995 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.995 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.996 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 13.996 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 13.996 * [taylor]: Taking taylor expansion of 0.5 in lambda1 13.996 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 13.996 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 13.996 * [taylor]: Taking taylor expansion of lambda1 in lambda1 13.996 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 13.996 * [taylor]: Taking taylor expansion of lambda2 in lambda1 13.997 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 13.997 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 13.997 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.997 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 13.997 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.997 * [taylor]: Taking taylor expansion of lambda1 in lambda2 13.997 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.997 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.998 * [taylor]: Taking taylor expansion of 0 in lambda2 13.998 * [taylor]: Taking taylor expansion of 0 in lambda2 13.998 * [taylor]: Taking taylor expansion of 0 in lambda2 13.999 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 13.999 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 13.999 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 13.999 * [taylor]: Taking taylor expansion of 0.5 in lambda2 13.999 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 13.999 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 13.999 * [taylor]: Taking taylor expansion of lambda2 in lambda2 13.999 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 13.999 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.000 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.000 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.000 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.000 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.000 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.000 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.000 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.000 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.001 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.001 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.001 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.001 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.001 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.001 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.001 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.001 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.002 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.002 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.002 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.002 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.002 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.002 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.003 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.003 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.003 * [taylor]: Taking taylor expansion of 0 in lambda2 14.003 * [taylor]: Taking taylor expansion of 0 in lambda2 14.003 * [taylor]: Taking taylor expansion of 0 in lambda2 14.004 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2 2 2 1 1) 14.004 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.004 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.004 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.004 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.004 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.004 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.004 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.004 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.004 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.004 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.004 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.004 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.004 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.004 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.004 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.004 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.004 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.005 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.005 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.005 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.005 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.009 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.009 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.009 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.009 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.009 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.009 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.016 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.017 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.017 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.017 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.017 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.017 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.017 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.028 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.028 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.028 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.028 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.028 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.028 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.028 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.031 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.031 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.031 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.031 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.031 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.031 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.031 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.031 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.031 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.032 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.032 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.032 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.032 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.032 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.032 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.032 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.032 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.033 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.033 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.033 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.033 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.033 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.033 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.033 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.033 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.034 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.034 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.034 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.034 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.034 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.034 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.034 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.034 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.035 * [taylor]: Taking taylor expansion of 0 in lambda2 14.035 * [taylor]: Taking taylor expansion of 0 in lambda2 14.035 * [taylor]: Taking taylor expansion of 0 in lambda2 14.036 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.036 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.036 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.036 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.036 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.036 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.036 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.036 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.036 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.037 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.037 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.037 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.037 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.037 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.037 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.037 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.037 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.038 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.038 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.038 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.038 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.038 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.038 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.038 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.038 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.039 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.039 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.039 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.039 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.039 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.039 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.039 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.039 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.040 * [taylor]: Taking taylor expansion of 0 in lambda2 14.040 * [taylor]: Taking taylor expansion of 0 in lambda2 14.040 * [taylor]: Taking taylor expansion of 0 in lambda2 14.040 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2 2 1 1 1) 14.040 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.040 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.040 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.040 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.041 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.041 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.041 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.041 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.041 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.041 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.041 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.041 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.041 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.041 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.041 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.041 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.041 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.041 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.041 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.041 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.041 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.041 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.041 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.046 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.046 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.046 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.046 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.046 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.046 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.053 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.053 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.054 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.054 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.054 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.054 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.054 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.063 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.063 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.063 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.063 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.063 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.063 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.063 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.065 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.065 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.065 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.065 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.065 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.065 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.065 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.065 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.065 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.066 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.067 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.067 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.067 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.067 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.067 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.067 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.067 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.067 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.068 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.068 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.068 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.068 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.068 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.068 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.068 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.069 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.069 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.069 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.069 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.069 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.069 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.069 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.069 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.070 * [taylor]: Taking taylor expansion of 0 in lambda2 14.070 * [taylor]: Taking taylor expansion of 0 in lambda2 14.070 * [taylor]: Taking taylor expansion of 0 in lambda2 14.070 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.070 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.070 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.070 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.070 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.070 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.070 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.071 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.071 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.071 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.071 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.071 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.071 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.071 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.071 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.071 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.071 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.072 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.072 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.072 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.072 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.072 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.072 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.073 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.073 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.074 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.074 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.074 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.074 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.074 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.074 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.074 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.074 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.075 * [taylor]: Taking taylor expansion of 0 in lambda2 14.075 * [taylor]: Taking taylor expansion of 0 in lambda2 14.075 * [taylor]: Taking taylor expansion of 0 in lambda2 14.075 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2 2) 14.075 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.075 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.075 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.075 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.075 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.075 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.075 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.075 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.076 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.076 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.076 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.076 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.076 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.076 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.076 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.076 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.076 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.076 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.076 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.076 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.076 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.076 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.076 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.080 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.080 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.080 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.080 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.080 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.080 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.088 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.088 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.088 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.088 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.088 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.088 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.088 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.097 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.097 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.097 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.097 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.097 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.097 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.097 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.099 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.100 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.100 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.100 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.100 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.100 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.100 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.100 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.100 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.101 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.101 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.101 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.101 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.101 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.101 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.101 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.101 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.102 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.102 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.102 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.102 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.102 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.102 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.102 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.102 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.103 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.103 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.103 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.103 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.103 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.103 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.103 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.103 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.104 * [taylor]: Taking taylor expansion of 0 in lambda2 14.104 * [taylor]: Taking taylor expansion of 0 in lambda2 14.104 * [taylor]: Taking taylor expansion of 0 in lambda2 14.105 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.105 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.105 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.105 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.105 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.105 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.105 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.105 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.106 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.106 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.106 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.106 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.106 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.106 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.106 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.106 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.107 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.107 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.107 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.107 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.107 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.107 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.107 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.107 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.108 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.108 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.108 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.108 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.108 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.111 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.112 * [taylor]: Taking taylor expansion of 0 in lambda2 14.112 * [taylor]: Taking taylor expansion of 0 in lambda2 14.112 * [taylor]: Taking taylor expansion of 0 in lambda2 14.112 * * * [progress]: simplifying candidates 14.113 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (log1p (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (log (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (exp (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt 1) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) (/ 3 2))) (* (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)))) (cbrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (* (* (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (sqrt (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 14.115 * * [simplify]: iteration 0 : 63 enodes (cost 773 ) 14.126 * * [simplify]: iteration 1 : 119 enodes (cost 626 ) 14.152 * * [simplify]: iteration 2 : 279 enodes (cost 586 ) 14.236 * * [simplify]: iteration 3 : 680 enodes (cost 586 ) 14.496 * * [simplify]: iteration 4 : 2250 enodes (cost 586 ) 15.249 * * [simplify]: iteration done : 5000 enodes (cost 586 ) 15.249 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) (cbrt (sqrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))) 1 (sin (/ (- lambda1 lambda2) 2.0)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3/2)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (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))) 15.250 * * * [progress]: adding candidates to table 15.753 * [progress]: [Phase 3 of 3] Extracting. 15.753 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 15.786 * * * [regime-changes]: Trying 12 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 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))))))) (* 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)))))))) (* 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))))))))) phi2 phi1 lambda2 lambda1 R) 15.786 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # #) 15.916 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # #) 16.048 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # #) 16.182 * * * * [regimes]: Trying to branch on (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0)))) from (# # # # # # # # # # # # #) 16.337 * * * * [regimes]: Trying to branch on (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))))))) from (# # # # # # # # # # # # #) 16.503 * * * * [regimes]: Trying to branch on (* 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)))))))) from (# # # # # # # # # # # # #) 16.669 * * * * [regimes]: Trying to branch on (* 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))))))))) from (# # # # # # # # # # # # #) 16.836 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # #) 16.974 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # #) 17.108 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # #) 17.243 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # #) 17.377 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # #) 17.511 * * * [regime]: Found split indices: #