4.985 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.274 * * * [progress]: [2/2] Setting up program. 0.280 * [progress]: [Phase 2 of 3] Improving. 0.280 * [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.281 * * [simplify]: iteration 0 : 26 enodes (cost 65 ) 0.285 * * [simplify]: iteration 1 : 56 enodes (cost 65 ) 0.291 * * [simplify]: iteration 2 : 96 enodes (cost 65 ) 0.305 * * [simplify]: iteration 3 : 169 enodes (cost 65 ) 0.344 * * [simplify]: iteration 4 : 313 enodes (cost 65 ) 0.433 * * [simplify]: iteration 5 : 553 enodes (cost 65 ) 0.795 * * [simplify]: iteration 6 : 1421 enodes (cost 65 ) 3.075 * * [simplify]: iteration 7 : 4760 enodes (cost 65 ) 5.309 * * [simplify]: iteration done : 5000 enodes (cost 65 ) 5.309 * [simplify]: Simplified to: (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 5.310 * * [progress]: iteration 1 / 4 5.310 * * * [progress]: picking best candidate 5.315 * * * * [pick]: Picked # 5.315 * * * [progress]: localizing error 5.351 * * * [progress]: generating rewritten candidates 5.351 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 5.356 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 5.361 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 5.370 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 5.376 * * * [progress]: generating series expansions 5.376 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 5.376 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.376 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.376 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.376 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.376 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.376 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.376 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.377 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.377 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.377 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.377 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.377 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.377 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.377 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.377 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.377 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.377 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.377 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.377 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.377 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.378 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.378 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.378 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.382 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.382 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.382 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.382 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.383 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.383 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.391 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.391 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.391 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.391 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.391 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.391 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.391 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.400 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.400 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.401 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.401 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.401 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.401 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.401 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.403 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.403 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.403 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.403 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.403 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.403 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.403 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.404 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.404 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.405 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.405 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.405 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.405 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.405 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.405 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.405 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.405 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.406 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.406 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.406 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.406 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.406 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.406 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.406 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.406 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.407 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.407 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.407 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.407 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.407 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.407 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.407 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.407 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.408 * [taylor]: Taking taylor expansion of 0 in lambda2 5.408 * [taylor]: Taking taylor expansion of 0 in lambda2 5.409 * [taylor]: Taking taylor expansion of 0 in lambda2 5.409 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.409 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.409 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.409 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.409 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.409 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.409 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.409 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.409 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.410 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.410 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.410 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.410 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.410 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.410 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.410 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.410 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.411 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.411 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.411 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.411 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.411 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.411 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.411 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.411 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.412 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.412 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.412 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.412 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.412 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.412 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.413 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.413 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.413 * [taylor]: Taking taylor expansion of 0 in lambda2 5.413 * [taylor]: Taking taylor expansion of 0 in lambda2 5.414 * [taylor]: Taking taylor expansion of 0 in lambda2 5.414 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 5.414 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.414 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.414 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.414 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.414 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.414 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.414 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.414 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.414 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.414 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.414 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.414 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.414 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.414 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.414 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.415 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.415 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.415 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.415 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.415 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.415 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.415 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.415 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.419 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.419 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.419 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.419 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.419 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.419 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.427 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.427 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.427 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.427 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.427 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.427 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.427 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.437 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.437 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.437 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.437 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.437 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.437 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.437 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.440 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.440 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.440 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.440 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.440 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.440 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.440 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.440 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.440 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.441 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.441 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.441 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.441 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.441 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.441 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.442 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.442 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.442 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.442 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.442 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.442 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.442 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.442 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.443 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.443 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.443 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.443 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.443 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.443 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.443 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.443 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.443 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.443 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.445 * [taylor]: Taking taylor expansion of 0 in lambda2 5.445 * [taylor]: Taking taylor expansion of 0 in lambda2 5.445 * [taylor]: Taking taylor expansion of 0 in lambda2 5.445 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.445 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.445 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.445 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.445 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.445 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.445 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.445 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.445 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.446 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.446 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.446 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.446 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.446 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.446 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.446 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.446 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.447 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.447 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.447 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.447 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.447 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.447 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.447 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.447 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.449 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.449 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.449 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.449 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.449 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.449 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.449 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.449 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.450 * [taylor]: Taking taylor expansion of 0 in lambda2 5.450 * [taylor]: Taking taylor expansion of 0 in lambda2 5.450 * [taylor]: Taking taylor expansion of 0 in lambda2 5.450 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 5.450 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.450 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.450 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.450 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.450 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.450 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.450 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.451 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.451 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.451 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.451 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.451 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.451 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.451 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.451 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.451 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.451 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.451 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.451 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.451 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.451 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.451 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.451 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.461 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.461 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.461 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.461 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.461 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.461 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.469 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.469 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.469 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.469 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.469 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.469 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.469 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.479 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.479 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.479 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.479 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.479 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.479 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.479 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.482 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.482 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.482 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.482 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.482 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.482 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.482 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.482 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.482 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.483 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.483 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.483 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.483 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.483 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.483 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.484 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.484 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.484 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.484 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.484 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.484 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.484 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.484 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.485 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.485 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.485 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.485 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.485 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.485 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.485 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.485 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.485 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.485 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.487 * [taylor]: Taking taylor expansion of 0 in lambda2 5.487 * [taylor]: Taking taylor expansion of 0 in lambda2 5.487 * [taylor]: Taking taylor expansion of 0 in lambda2 5.487 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.487 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.487 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.487 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.487 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.487 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.487 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.487 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.487 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.488 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.488 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.488 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.488 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.488 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.488 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.488 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.488 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.489 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.489 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.489 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.489 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.489 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.489 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.489 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.489 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.491 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.491 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.491 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.491 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.491 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.491 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.491 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.491 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.492 * [taylor]: Taking taylor expansion of 0 in lambda2 5.492 * [taylor]: Taking taylor expansion of 0 in lambda2 5.492 * [taylor]: Taking taylor expansion of 0 in lambda2 5.492 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 5.492 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 5.492 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 5.492 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 5.492 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.492 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 5.492 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.492 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.493 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.493 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.493 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.493 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.493 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.493 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.493 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 5.493 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 5.493 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.493 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 5.493 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.493 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.493 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.493 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.493 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.493 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.497 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 5.497 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.498 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.498 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.498 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.498 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.505 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 5.505 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 5.505 * [taylor]: Taking taylor expansion of 0.125 in lambda2 5.506 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 5.506 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.506 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.506 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.515 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 5.515 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 5.515 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 5.515 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 5.515 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 5.515 * [taylor]: Taking taylor expansion of -0.5 in lambda2 5.515 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.518 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 5.518 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.518 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.518 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.518 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.518 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.518 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.518 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.518 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.519 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.519 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.519 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.519 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.519 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.519 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.519 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.519 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.520 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 5.520 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 5.520 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.520 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 5.520 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.520 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.521 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.521 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.521 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 5.521 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 5.521 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.521 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 5.521 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.521 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.522 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.522 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.523 * [taylor]: Taking taylor expansion of 0 in lambda2 5.523 * [taylor]: Taking taylor expansion of 0 in lambda2 5.523 * [taylor]: Taking taylor expansion of 0 in lambda2 5.523 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 5.523 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.523 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.523 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.523 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.523 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.523 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.523 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.523 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.524 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.524 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.524 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.524 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.524 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.524 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.524 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.524 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.525 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 5.525 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 5.525 * [taylor]: Taking taylor expansion of 0.5 in lambda1 5.525 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 5.525 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 5.525 * [taylor]: Taking taylor expansion of lambda2 in lambda1 5.525 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 5.525 * [taylor]: Taking taylor expansion of lambda1 in lambda1 5.527 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 5.527 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 5.527 * [taylor]: Taking taylor expansion of 0.5 in lambda2 5.527 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 5.527 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 5.527 * [taylor]: Taking taylor expansion of lambda2 in lambda2 5.527 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 5.527 * [taylor]: Taking taylor expansion of lambda1 in lambda2 5.528 * [taylor]: Taking taylor expansion of 0 in lambda2 5.528 * [taylor]: Taking taylor expansion of 0 in lambda2 5.528 * [taylor]: Taking taylor expansion of 0 in lambda2 5.528 * * * [progress]: simplifying candidates 5.529 * [simplify]: Simplifying using # : (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 5.530 * * [simplify]: iteration 0 : 32 enodes (cost 452 ) 5.535 * * [simplify]: iteration 1 : 55 enodes (cost 452 ) 5.548 * * [simplify]: iteration 2 : 90 enodes (cost 396 ) 5.563 * * [simplify]: iteration 3 : 158 enodes (cost 396 ) 5.601 * * [simplify]: iteration 4 : 304 enodes (cost 396 ) 5.744 * * [simplify]: iteration 5 : 737 enodes (cost 396 ) 7.024 * * [simplify]: iteration 6 : 2891 enodes (cost 396 ) 11.401 * * [simplify]: iteration done : 5000 enodes (cost 396 ) 11.402 * [simplify]: Simplified to: (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 (- lambda1 lambda2)) (* 0.020833333333333332 (pow lambda1 3))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 11.402 * * * [progress]: adding candidates to table 11.706 * * [progress]: iteration 2 / 4 11.706 * * * [progress]: picking best candidate 11.771 * * * * [pick]: Picked # 11.771 * * * [progress]: localizing error 11.815 * * * [progress]: generating rewritten candidates 11.815 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 11.822 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 11.827 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 11.832 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 11.838 * * * [progress]: generating series expansions 11.838 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 11.838 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 11.838 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 11.838 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 11.838 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.838 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 11.838 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.839 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.839 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.839 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.839 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.839 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.839 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.839 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.839 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.839 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.839 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.839 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.839 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.840 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.840 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.840 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.840 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.844 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 11.844 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.844 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.844 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.845 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.845 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.853 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 11.853 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 11.853 * [taylor]: Taking taylor expansion of 0.125 in lambda2 11.853 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.853 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.853 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.853 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.862 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 11.862 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 11.862 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 11.862 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.862 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.862 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.862 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.865 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 11.865 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.865 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.865 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.865 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.865 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.865 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.865 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.865 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.866 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.866 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.866 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.866 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.866 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.866 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.867 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.867 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.867 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.867 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.867 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.868 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.868 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.868 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.868 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.868 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.869 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.869 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.869 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.869 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.869 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.869 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.869 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.869 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.870 * [taylor]: Taking taylor expansion of 0 in lambda2 11.870 * [taylor]: Taking taylor expansion of 0 in lambda2 11.870 * [taylor]: Taking taylor expansion of 0 in lambda2 11.870 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 11.870 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.870 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.871 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.871 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.871 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.871 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.871 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.871 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.871 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.872 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.872 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.872 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.872 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.872 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.872 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.872 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.873 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.873 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.873 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.873 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.873 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.873 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.873 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.873 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.874 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.874 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.874 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.874 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.874 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.874 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.874 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.874 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.875 * [taylor]: Taking taylor expansion of 0 in lambda2 11.875 * [taylor]: Taking taylor expansion of 0 in lambda2 11.875 * [taylor]: Taking taylor expansion of 0 in lambda2 11.875 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 11.876 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 11.876 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 11.876 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 11.876 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.876 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 11.876 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.876 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.876 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.876 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.876 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.876 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.876 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.876 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.876 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.876 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.876 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.876 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.876 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.876 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.877 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.877 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.877 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.877 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.881 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 11.881 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.881 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.881 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.881 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.881 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.893 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 11.893 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 11.893 * [taylor]: Taking taylor expansion of 0.125 in lambda2 11.893 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.893 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.893 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.893 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.902 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 11.902 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 11.902 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 11.902 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.902 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.902 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.902 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.905 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 11.905 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.905 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.905 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.905 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.905 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.905 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.905 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.905 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.906 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.906 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.906 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.906 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.906 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.906 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.907 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.907 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.907 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.907 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.907 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.907 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.907 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.907 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.908 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.908 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.909 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.909 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.909 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.909 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.909 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.910 * [taylor]: Taking taylor expansion of 0 in lambda2 11.910 * [taylor]: Taking taylor expansion of 0 in lambda2 11.910 * [taylor]: Taking taylor expansion of 0 in lambda2 11.910 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 11.910 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.910 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.910 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.910 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.911 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.911 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.911 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.911 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.911 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.911 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.913 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.913 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.913 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.913 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.913 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.913 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.913 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.913 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.914 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.914 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.914 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.914 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.914 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.914 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.914 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.915 * [taylor]: Taking taylor expansion of 0 in lambda2 11.915 * [taylor]: Taking taylor expansion of 0 in lambda2 11.915 * [taylor]: Taking taylor expansion of 0 in lambda2 11.915 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 11.916 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 11.916 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 11.916 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 11.916 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.916 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 11.916 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.916 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.916 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.916 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.916 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.916 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.916 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.916 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.916 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.916 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.916 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.916 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.916 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.916 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.917 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.917 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.917 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.917 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.921 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 11.921 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.921 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.921 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.921 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.929 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 11.929 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 11.929 * [taylor]: Taking taylor expansion of 0.125 in lambda2 11.929 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.929 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.929 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.929 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.938 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 11.938 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 11.938 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 11.938 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.938 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.938 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.938 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.941 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 11.941 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.941 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.941 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.941 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.941 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.941 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.941 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.941 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.942 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.942 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.942 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.942 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.942 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.942 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.942 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.942 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.943 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.943 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.943 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.943 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.943 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.943 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.943 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.943 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.944 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.944 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.944 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.944 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.944 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.944 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.944 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.946 * [taylor]: Taking taylor expansion of 0 in lambda2 11.946 * [taylor]: Taking taylor expansion of 0 in lambda2 11.946 * [taylor]: Taking taylor expansion of 0 in lambda2 11.946 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 11.946 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.946 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.946 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.946 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.946 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.946 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.946 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.946 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.947 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.947 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.947 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.947 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.947 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.947 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.947 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.947 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.948 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.948 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.948 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.948 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.948 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.948 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.948 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.948 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.949 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.949 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.949 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.949 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.950 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.950 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.950 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.950 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.951 * [taylor]: Taking taylor expansion of 0 in lambda2 11.951 * [taylor]: Taking taylor expansion of 0 in lambda2 11.951 * [taylor]: Taking taylor expansion of 0 in lambda2 11.951 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 11.951 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 11.951 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 11.951 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 11.951 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.951 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 11.951 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.951 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.951 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.951 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.951 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.951 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.951 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.951 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 11.952 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 11.952 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.952 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 11.952 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.952 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.952 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.952 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.952 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.952 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.956 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 11.956 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.956 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.956 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.956 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.956 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.965 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 11.965 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 11.965 * [taylor]: Taking taylor expansion of 0.125 in lambda2 11.965 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 11.965 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.965 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.965 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.976 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 11.976 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 11.976 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 11.976 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 11.976 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 11.976 * [taylor]: Taking taylor expansion of -0.5 in lambda2 11.976 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.979 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 11.979 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.979 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.979 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.979 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.979 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.979 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.979 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.979 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.980 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.980 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.980 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.981 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.981 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.981 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.981 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.981 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.981 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 11.982 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 11.982 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.982 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 11.982 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.982 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.982 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.982 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.983 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 11.983 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 11.983 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.983 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 11.983 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.983 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.983 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.983 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.984 * [taylor]: Taking taylor expansion of 0 in lambda2 11.984 * [taylor]: Taking taylor expansion of 0 in lambda2 11.984 * [taylor]: Taking taylor expansion of 0 in lambda2 11.984 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 11.984 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.984 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.984 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.984 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.984 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.984 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.985 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.985 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.985 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.985 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.985 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.985 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.985 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.985 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.985 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.985 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.986 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 11.987 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 11.987 * [taylor]: Taking taylor expansion of 0.5 in lambda1 11.987 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 11.987 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 11.987 * [taylor]: Taking taylor expansion of lambda2 in lambda1 11.987 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 11.987 * [taylor]: Taking taylor expansion of lambda1 in lambda1 11.988 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 11.988 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 11.988 * [taylor]: Taking taylor expansion of 0.5 in lambda2 11.988 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 11.988 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 11.988 * [taylor]: Taking taylor expansion of lambda2 in lambda2 11.988 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 11.988 * [taylor]: Taking taylor expansion of lambda1 in lambda2 11.989 * [taylor]: Taking taylor expansion of 0 in lambda2 11.989 * [taylor]: Taking taylor expansion of 0 in lambda2 11.989 * [taylor]: Taking taylor expansion of 0 in lambda2 11.989 * * * [progress]: simplifying candidates 11.990 * [simplify]: Simplifying using # : (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))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 11.992 * * [simplify]: iteration 0 : 59 enodes (cost 711 ) 12.003 * * [simplify]: iteration 1 : 106 enodes (cost 574 ) 12.020 * * [simplify]: iteration 2 : 221 enodes (cost 530 ) 12.073 * * [simplify]: iteration 3 : 539 enodes (cost 530 ) 12.425 * * [simplify]: iteration 4 : 1858 enodes (cost 530 ) 14.071 * * [simplify]: iteration done : 5000 enodes (cost 530 ) 14.072 * [simplify]: Simplified to: (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))) (* (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))) (* (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))) (* (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))) 14.073 * * * [progress]: adding candidates to table 14.435 * * [progress]: iteration 3 / 4 14.435 * * * [progress]: picking best candidate 14.520 * * * * [pick]: Picked # 14.520 * * * [progress]: localizing error 14.568 * * * [progress]: generating rewritten candidates 14.568 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 14.570 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1 2 1) 14.575 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1 1 1 1 1) 14.580 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 14.586 * * * [progress]: generating series expansions 14.586 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 14.587 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.587 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.587 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.587 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.587 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.587 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.587 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.587 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.588 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.588 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.588 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.588 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.588 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.588 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.588 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.588 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.588 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.588 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.588 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.588 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.588 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.588 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.588 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.593 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.593 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.593 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.593 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.593 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.593 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.601 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.601 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.601 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.601 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.601 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.601 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.601 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.613 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.613 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.613 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.613 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.613 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.613 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.613 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.616 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.616 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.616 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.616 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.616 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.616 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.616 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.616 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.617 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.618 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.618 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.618 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.618 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.618 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.618 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.618 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.618 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.619 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.619 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.619 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.619 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.619 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.619 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.619 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.619 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.620 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.620 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.620 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.620 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.620 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.620 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.620 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.620 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.621 * [taylor]: Taking taylor expansion of 0 in lambda2 14.621 * [taylor]: Taking taylor expansion of 0 in lambda2 14.621 * [taylor]: Taking taylor expansion of 0 in lambda2 14.622 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.622 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.622 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.622 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.622 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.622 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.622 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.622 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.622 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.623 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.623 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.623 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.623 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.623 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.623 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.623 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.623 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.624 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.624 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.624 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.624 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.624 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.624 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.624 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.624 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.626 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.626 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.626 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.626 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.626 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.626 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.626 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.626 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.627 * [taylor]: Taking taylor expansion of 0 in lambda2 14.627 * [taylor]: Taking taylor expansion of 0 in lambda2 14.627 * [taylor]: Taking taylor expansion of 0 in lambda2 14.627 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1 2 1) 14.627 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.627 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.627 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.627 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.627 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.627 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.627 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.627 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.627 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.627 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.628 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.628 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.628 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.628 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.628 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.628 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.628 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.628 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.628 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.628 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.628 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.628 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.628 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.632 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.632 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.632 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.633 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.633 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.633 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.640 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.640 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.640 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.640 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.640 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.640 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.641 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.650 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.650 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.650 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.650 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.650 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.650 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.650 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.653 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.653 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.653 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.653 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.653 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.653 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.653 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.653 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.654 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.654 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.654 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.654 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.654 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.654 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.654 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.654 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.655 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.655 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.655 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.655 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.655 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.655 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.655 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.655 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.656 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.656 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.656 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.656 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.656 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.656 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.656 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.656 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.657 * [taylor]: Taking taylor expansion of 0 in lambda2 14.657 * [taylor]: Taking taylor expansion of 0 in lambda2 14.658 * [taylor]: Taking taylor expansion of 0 in lambda2 14.658 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.658 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.658 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.658 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.658 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.658 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.658 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.658 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.658 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.659 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.659 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.659 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.659 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.659 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.659 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.659 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.659 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.660 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.660 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.660 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.660 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.660 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.660 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.660 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.660 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.661 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.661 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.661 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.661 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.661 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.661 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.662 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.662 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.662 * [taylor]: Taking taylor expansion of 0 in lambda2 14.662 * [taylor]: Taking taylor expansion of 0 in lambda2 14.662 * [taylor]: Taking taylor expansion of 0 in lambda2 14.663 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1 1 1 1 1) 14.663 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.663 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.663 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.663 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.663 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.663 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.663 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.663 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.663 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.663 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.663 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.663 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.663 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.663 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.663 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.663 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.663 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.663 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.663 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.664 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.664 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.664 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.664 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.668 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.668 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.668 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.669 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.669 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.669 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.676 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.676 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.676 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.676 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.676 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.676 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.676 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.686 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.686 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.686 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.686 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.686 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.686 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.686 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.688 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.688 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.688 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.688 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.688 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.688 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.688 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.689 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.689 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.690 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.690 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.690 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.690 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.690 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.690 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.690 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.690 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.691 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.691 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.691 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.691 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.691 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.691 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.691 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.691 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.692 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.692 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.692 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.692 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.692 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.692 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.692 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.692 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.696 * [taylor]: Taking taylor expansion of 0 in lambda2 14.696 * [taylor]: Taking taylor expansion of 0 in lambda2 14.696 * [taylor]: Taking taylor expansion of 0 in lambda2 14.696 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.696 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.696 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.696 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.696 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.696 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.696 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.696 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.696 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.697 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.697 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.697 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.697 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.697 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.697 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.697 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.697 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.698 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.698 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.698 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.698 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.698 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.698 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.698 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.698 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.699 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.700 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.700 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.700 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.700 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.700 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.700 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.700 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.701 * [taylor]: Taking taylor expansion of 0 in lambda2 14.701 * [taylor]: Taking taylor expansion of 0 in lambda2 14.701 * [taylor]: Taking taylor expansion of 0 in lambda2 14.701 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 14.701 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 14.701 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 14.701 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 14.701 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.701 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 14.701 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.701 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.701 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.701 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.701 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.701 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.702 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.702 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.702 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 14.702 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 14.702 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.702 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 14.702 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.702 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.702 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.702 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.702 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.702 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.706 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 14.706 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.706 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.706 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.706 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.706 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.714 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 14.715 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 14.715 * [taylor]: Taking taylor expansion of 0.125 in lambda2 14.715 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 14.715 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.715 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.715 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.724 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 14.724 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 14.724 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 14.724 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 14.724 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 14.724 * [taylor]: Taking taylor expansion of -0.5 in lambda2 14.724 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.727 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 14.727 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.727 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.727 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.727 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.727 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.727 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.727 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.727 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.728 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.728 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.728 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.728 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.728 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.728 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.728 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.728 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.729 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 14.729 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 14.729 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.729 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 14.729 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.729 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.729 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.729 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.730 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 14.730 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 14.730 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.730 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 14.730 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.730 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.730 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.730 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.731 * [taylor]: Taking taylor expansion of 0 in lambda2 14.731 * [taylor]: Taking taylor expansion of 0 in lambda2 14.731 * [taylor]: Taking taylor expansion of 0 in lambda2 14.732 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 14.732 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.732 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.732 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.732 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.732 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.732 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.732 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.732 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.733 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.733 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.733 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.733 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.733 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.733 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.733 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.733 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.734 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 14.734 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 14.734 * [taylor]: Taking taylor expansion of 0.5 in lambda1 14.734 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 14.734 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 14.734 * [taylor]: Taking taylor expansion of lambda2 in lambda1 14.734 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 14.734 * [taylor]: Taking taylor expansion of lambda1 in lambda1 14.735 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 14.735 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 14.735 * [taylor]: Taking taylor expansion of 0.5 in lambda2 14.735 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 14.735 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 14.735 * [taylor]: Taking taylor expansion of lambda2 in lambda2 14.735 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 14.735 * [taylor]: Taking taylor expansion of lambda1 in lambda2 14.736 * [taylor]: Taking taylor expansion of 0 in lambda2 14.736 * [taylor]: Taking taylor expansion of 0 in lambda2 14.736 * [taylor]: Taking taylor expansion of 0 in lambda2 14.736 * * * [progress]: simplifying candidates 14.737 * [simplify]: Simplifying using # : (log (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (exp (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (* (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 (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (* (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 (sqrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (sqrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt 1) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (* (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (* (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 14.740 * * [simplify]: iteration 0 : 61 enodes (cost 923 ) 14.749 * * [simplify]: iteration 1 : 109 enodes (cost 797 ) 14.772 * * [simplify]: iteration 2 : 256 enodes (cost 577 ) 14.847 * * [simplify]: iteration 3 : 559 enodes (cost 508 ) 15.233 * * [simplify]: iteration 4 : 1483 enodes (cost 488 ) 17.419 * * [simplify]: iteration 5 : 4699 enodes (cost 479 ) 18.769 * * [simplify]: iteration done : 5000 enodes (cost 479 ) 18.770 * [simplify]: Simplified to: (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (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)) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 2) (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))) 18.770 * * * [progress]: adding candidates to table 19.196 * * [progress]: iteration 4 / 4 19.196 * * * [progress]: picking best candidate 19.306 * * * * [pick]: Picked # 19.306 * * * [progress]: localizing error 19.372 * * * [progress]: generating rewritten candidates 19.372 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 19.377 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1 2 1) 19.382 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 19.387 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 19.393 * * * [progress]: generating series expansions 19.393 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 19.394 * [approximate]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in (lambda1 lambda2) around 0 19.394 * [taylor]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in lambda2 19.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))))) in lambda2 19.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)))) in lambda2 19.394 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.394 * [taylor]: Taking taylor expansion of (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) in lambda2 19.394 * [taylor]: Taking taylor expansion of (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) in lambda2 19.394 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 19.394 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 19.394 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.394 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 19.394 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.394 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.395 * [taylor]: Taking taylor expansion of (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2) in lambda2 19.395 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) in lambda2 19.395 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) in lambda2 19.395 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 19.395 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.395 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.395 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.396 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda1)) in lambda2 19.396 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda2 19.396 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.396 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.396 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2))) in lambda2 19.396 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda1)) in lambda2 19.396 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda2 19.396 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.396 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.396 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 19.396 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.396 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.396 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.399 * [taylor]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in lambda1 19.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))))) in lambda1 19.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)))) in lambda1 19.399 * [taylor]: Taking taylor expansion of 1/3 in lambda1 19.399 * [taylor]: Taking taylor expansion of (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) in lambda1 19.399 * [taylor]: Taking taylor expansion of (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) in lambda1 19.399 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.399 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.399 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.399 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.399 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.399 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.400 * [taylor]: Taking taylor expansion of (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2) in lambda1 19.400 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) in lambda1 19.400 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) in lambda1 19.400 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda1 19.400 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 19.400 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.400 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.400 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda1)) in lambda1 19.400 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 19.400 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.400 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.401 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2))) in lambda1 19.401 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda1)) in lambda1 19.401 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 19.401 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.401 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.402 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda1 19.402 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 19.402 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.402 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.404 * [taylor]: Taking taylor expansion of (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) in lambda1 19.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))))) in lambda1 19.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)))) in lambda1 19.404 * [taylor]: Taking taylor expansion of 1/3 in lambda1 19.404 * [taylor]: Taking taylor expansion of (log (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) in lambda1 19.404 * [taylor]: Taking taylor expansion of (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) in lambda1 19.404 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.404 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.404 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.404 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.404 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.404 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.404 * [taylor]: Taking taylor expansion of (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2) in lambda1 19.404 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) in lambda1 19.404 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) in lambda1 19.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda1 19.404 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 19.404 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.404 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.404 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda1)) in lambda1 19.404 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 19.404 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.404 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.406 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2))) in lambda1 19.406 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda1)) in lambda1 19.406 * [taylor]: Taking taylor expansion of (* 0.5 lambda1) in lambda1 19.406 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.406 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.407 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda1 19.407 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda1 19.407 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.407 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.408 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) in lambda2 19.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))))) in lambda2 19.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))))) in lambda2 19.408 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.408 * [taylor]: Taking taylor expansion of (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))) in lambda2 19.408 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) in lambda2 19.409 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 19.409 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 19.409 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.409 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.409 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.411 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.412 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.412 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.412 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.437 * [taylor]: Taking taylor expansion of (* (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) (- (* 0.16666666666666666 (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2)))) (* 0.3333333333333333 (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2)))))) in lambda2 19.438 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) in lambda2 19.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))))) in lambda2 19.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))))) in lambda2 19.438 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.438 * [taylor]: Taking taylor expansion of (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))) in lambda2 19.438 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) in lambda2 19.438 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 19.438 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 19.438 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.438 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.438 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.440 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.440 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.440 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.440 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.449 * [taylor]: Taking taylor expansion of (- (* 0.16666666666666666 (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2)))) (* 0.3333333333333333 (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2))))) in lambda2 19.449 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2)))) in lambda2 19.449 * [taylor]: Taking taylor expansion of 0.16666666666666666 in lambda2 19.449 * [taylor]: Taking taylor expansion of (/ (cos (* -0.5 lambda2)) (sin (* -0.5 lambda2))) in lambda2 19.449 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.449 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.449 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.449 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.450 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.450 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.450 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.450 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2)))) in lambda2 19.454 * [taylor]: Taking taylor expansion of 0.3333333333333333 in lambda2 19.455 * [taylor]: Taking taylor expansion of (/ (cos (* 0.5 lambda2)) (sin (* 0.5 lambda2))) in lambda2 19.455 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 19.455 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.455 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.455 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.456 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 19.456 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.456 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.456 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.507 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125))) (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3))) in lambda2 19.507 * [taylor]: Taking taylor expansion of -1 in lambda2 19.508 * [taylor]: Taking taylor expansion of (* (+ (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125))) (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3)) in lambda2 19.508 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125))) in lambda2 19.508 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2))) in lambda2 19.508 * [taylor]: Taking taylor expansion of 0.027777777777777776 in lambda2 19.508 * [taylor]: Taking taylor expansion of (/ (pow (cos (* 0.5 lambda2)) 2) (pow (sin (* 0.5 lambda2)) 2)) in lambda2 19.508 * [taylor]: Taking taylor expansion of (pow (cos (* 0.5 lambda2)) 2) in lambda2 19.508 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 19.508 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.508 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.508 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.510 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 19.510 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 19.510 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.510 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.510 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.517 * [taylor]: Taking taylor expansion of (+ (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125)) in lambda2 19.517 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))))) in lambda2 19.517 * [taylor]: Taking taylor expansion of 0.05555555555555555 in lambda2 19.517 * [taylor]: Taking taylor expansion of (/ (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2)))) in lambda2 19.517 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 lambda2)) (cos (* -0.5 lambda2))) in lambda2 19.517 * [taylor]: Taking taylor expansion of (cos (* 0.5 lambda2)) in lambda2 19.517 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.517 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.517 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.518 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.518 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.518 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.518 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.519 * [taylor]: Taking taylor expansion of (* (sin (* -0.5 lambda2)) (sin (* 0.5 lambda2))) in lambda2 19.519 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.519 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.520 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.520 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.521 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 19.521 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.521 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.521 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.530 * [taylor]: Taking taylor expansion of (+ (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) 0.125) in lambda2 19.530 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2))) in lambda2 19.530 * [taylor]: Taking taylor expansion of 0.027777777777777776 in lambda2 19.530 * [taylor]: Taking taylor expansion of (/ (pow (cos (* -0.5 lambda2)) 2) (pow (sin (* -0.5 lambda2)) 2)) in lambda2 19.530 * [taylor]: Taking taylor expansion of (pow (cos (* -0.5 lambda2)) 2) in lambda2 19.530 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.530 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.530 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.531 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.532 * [taylor]: Taking taylor expansion of (pow (sin (* -0.5 lambda2)) 2) in lambda2 19.532 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.532 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.532 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.532 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.536 * [taylor]: Taking taylor expansion of 0.125 in lambda2 19.536 * [taylor]: Taking taylor expansion of (pow (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) 1/3) in lambda2 19.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))))) in lambda2 19.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))))) in lambda2 19.536 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.536 * [taylor]: Taking taylor expansion of (log (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2)))) in lambda2 19.536 * [taylor]: Taking taylor expansion of (* (pow (sin (* 0.5 lambda2)) 2) (sin (* -0.5 lambda2))) in lambda2 19.536 * [taylor]: Taking taylor expansion of (pow (sin (* 0.5 lambda2)) 2) in lambda2 19.536 * [taylor]: Taking taylor expansion of (sin (* 0.5 lambda2)) in lambda2 19.536 * [taylor]: Taking taylor expansion of (* 0.5 lambda2) in lambda2 19.536 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.536 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.539 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.539 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.539 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.539 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.703 * [approximate]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in (lambda1 lambda2) around 0 19.703 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda2 19.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda2 19.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 19.703 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.703 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 19.703 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 19.703 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda2 19.703 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda2 19.703 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda2 19.703 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda2 19.703 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 19.703 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.703 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.703 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda2 19.703 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 19.703 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.703 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.704 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda2 19.704 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda2 19.704 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 19.704 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.704 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.704 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda2 19.704 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 19.704 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.704 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.705 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.705 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.705 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.705 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.705 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.705 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.705 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.705 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.708 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda1 19.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda1 19.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 19.708 * [taylor]: Taking taylor expansion of 1/3 in lambda1 19.708 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 19.708 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 19.708 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda1 19.708 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda1 19.708 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda1 19.708 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda1 19.708 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 19.708 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.708 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.709 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda1 19.709 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 19.709 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.709 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.709 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda1 19.709 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda1 19.709 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 19.709 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.709 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.709 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda1 19.709 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 19.709 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.709 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.710 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.710 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.710 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.710 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.710 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.710 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.711 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.711 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.713 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda1 19.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda1 19.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 19.713 * [taylor]: Taking taylor expansion of 1/3 in lambda1 19.713 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 19.713 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 19.713 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda1 19.713 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda1 19.713 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda1 19.713 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda1 19.713 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 19.713 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.713 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.713 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda1 19.713 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 19.713 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.713 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.713 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda1 19.714 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda1 19.714 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda1 19.714 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.714 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.714 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda1 19.714 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda1 19.714 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.714 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.715 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.715 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.715 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.715 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.715 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.715 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.715 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.715 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.717 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) 1/3) in lambda2 19.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))))) in lambda2 19.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 19.718 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.718 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 19.718 * [taylor]: Taking taylor expansion of (* (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 19.718 * [taylor]: Taking taylor expansion of (pow (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) 2) in lambda2 19.718 * [taylor]: Taking taylor expansion of (- (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2)))) in lambda2 19.718 * [taylor]: Taking taylor expansion of (* (sin (/ 0.5 lambda1)) (cos (/ 0.5 lambda2))) in lambda2 19.718 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda1)) in lambda2 19.718 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 19.718 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.718 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.718 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda2)) in lambda2 19.718 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 19.718 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.718 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.718 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 lambda1)) (sin (/ 0.5 lambda2))) in lambda2 19.718 * [taylor]: Taking taylor expansion of (cos (/ 0.5 lambda1)) in lambda2 19.718 * [taylor]: Taking taylor expansion of (/ 0.5 lambda1) in lambda2 19.718 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.718 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.718 * [taylor]: Taking taylor expansion of (sin (/ 0.5 lambda2)) in lambda2 19.718 * [taylor]: Taking taylor expansion of (/ 0.5 lambda2) in lambda2 19.718 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.718 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.720 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.720 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.720 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.720 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.720 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.720 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.720 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.720 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.729 * [taylor]: Taking taylor expansion of 0 in lambda2 19.747 * [taylor]: Taking taylor expansion of 0 in lambda2 19.774 * [taylor]: Taking taylor expansion of 0 in lambda2 19.775 * [approximate]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in (lambda1 lambda2) around 0 19.775 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda2 19.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda2 19.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 19.775 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.775 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 19.775 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 19.776 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda2 19.776 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda2 19.776 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda2 19.776 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda2 19.776 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 19.776 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.776 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.776 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda2 19.776 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 19.776 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.776 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.776 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda2 19.776 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda2 19.776 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 19.776 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.776 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.777 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda2 19.777 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 19.777 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.777 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.777 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.778 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.778 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.778 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.778 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.778 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.778 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.778 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.780 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda1 19.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda1 19.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 19.780 * [taylor]: Taking taylor expansion of 1/3 in lambda1 19.780 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 19.780 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 19.780 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda1 19.780 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda1 19.780 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda1 19.780 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda1 19.780 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 19.780 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.780 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.780 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda1 19.780 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 19.780 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.780 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.781 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda1 19.781 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda1 19.781 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 19.781 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.781 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.781 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda1 19.781 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 19.781 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.781 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.782 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.782 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.782 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.782 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.782 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.782 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.782 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.782 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.785 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda1 19.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda1 19.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 19.785 * [taylor]: Taking taylor expansion of 1/3 in lambda1 19.785 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 19.785 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 19.785 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda1 19.785 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda1 19.785 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda1 19.785 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda1 19.785 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 19.785 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.785 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.786 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda1 19.786 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 19.786 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.786 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.786 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda1 19.786 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda1 19.786 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda1 19.786 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.786 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.786 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda1 19.786 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda1 19.786 * [taylor]: Taking taylor expansion of -0.5 in lambda1 19.786 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.787 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.787 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.787 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.787 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.787 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.787 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.787 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.787 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.790 * [taylor]: Taking taylor expansion of (pow (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) 1/3) in lambda2 19.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))))) in lambda2 19.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 19.790 * [taylor]: Taking taylor expansion of 1/3 in lambda2 19.790 * [taylor]: Taking taylor expansion of (log (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 19.790 * [taylor]: Taking taylor expansion of (* (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 19.790 * [taylor]: Taking taylor expansion of (pow (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) 2) in lambda2 19.790 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1)))) in lambda2 19.790 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 lambda2)) (sin (/ -0.5 lambda1))) in lambda2 19.790 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda2)) in lambda2 19.790 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 19.790 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.790 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.791 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda1)) in lambda2 19.791 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 19.791 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.791 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.791 * [taylor]: Taking taylor expansion of (* (sin (/ -0.5 lambda2)) (cos (/ -0.5 lambda1))) in lambda2 19.791 * [taylor]: Taking taylor expansion of (sin (/ -0.5 lambda2)) in lambda2 19.791 * [taylor]: Taking taylor expansion of (/ -0.5 lambda2) in lambda2 19.791 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.791 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.791 * [taylor]: Taking taylor expansion of (cos (/ -0.5 lambda1)) in lambda2 19.791 * [taylor]: Taking taylor expansion of (/ -0.5 lambda1) in lambda2 19.791 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.791 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.792 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.792 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.792 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.792 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.792 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.792 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.793 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.793 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.802 * [taylor]: Taking taylor expansion of 0 in lambda2 19.820 * [taylor]: Taking taylor expansion of 0 in lambda2 19.844 * [taylor]: Taking taylor expansion of 0 in lambda2 19.845 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1 2 1) 19.845 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 19.845 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 19.845 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 19.845 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.845 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 19.845 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.845 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.845 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.846 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.846 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.846 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.846 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.846 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.846 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.846 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.846 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.846 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.846 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.846 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.846 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.846 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.846 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.846 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.850 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 19.850 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.850 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.850 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.850 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.850 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.863 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 19.863 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 19.863 * [taylor]: Taking taylor expansion of 0.125 in lambda2 19.863 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.863 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.863 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.863 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.873 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 19.873 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 19.873 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 19.873 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.873 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.873 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.873 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.876 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 19.876 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.876 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.876 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.876 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.876 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.876 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.876 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.876 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.877 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.877 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.877 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.877 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.877 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.877 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.877 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.877 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.878 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.878 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.878 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.878 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.878 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.878 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.878 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.878 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.879 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.879 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.879 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.879 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.879 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.879 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.879 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.879 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.880 * [taylor]: Taking taylor expansion of 0 in lambda2 19.881 * [taylor]: Taking taylor expansion of 0 in lambda2 19.881 * [taylor]: Taking taylor expansion of 0 in lambda2 19.881 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 19.881 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.881 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.881 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.881 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.881 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.881 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.881 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.881 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.882 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.882 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.882 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.882 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.882 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.882 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.882 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.882 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.883 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.883 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.883 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.883 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.883 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.883 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.883 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.883 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.884 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.884 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.884 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.884 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.884 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.884 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.885 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.885 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.885 * [taylor]: Taking taylor expansion of 0 in lambda2 19.886 * [taylor]: Taking taylor expansion of 0 in lambda2 19.886 * [taylor]: Taking taylor expansion of 0 in lambda2 19.886 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 19.886 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 19.886 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 19.886 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 19.886 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.886 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 19.886 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.886 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.886 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.886 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.886 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.886 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.886 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.886 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.887 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.887 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.887 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.887 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.887 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.887 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.887 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.887 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.887 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.887 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.891 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 19.891 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.891 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.891 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.891 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.891 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.900 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 19.900 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 19.900 * [taylor]: Taking taylor expansion of 0.125 in lambda2 19.900 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.900 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.900 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.900 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.909 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 19.909 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 19.909 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 19.909 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.909 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.909 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.909 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.912 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 19.912 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.912 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.912 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.912 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.912 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.912 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.912 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.912 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.913 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.914 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.914 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.914 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.914 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.914 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.914 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.914 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.915 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.915 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.915 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.915 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.915 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.915 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.915 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.915 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.916 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.916 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.916 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.916 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.916 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.916 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.916 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.916 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.917 * [taylor]: Taking taylor expansion of 0 in lambda2 19.917 * [taylor]: Taking taylor expansion of 0 in lambda2 19.917 * [taylor]: Taking taylor expansion of 0 in lambda2 19.917 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 19.917 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.918 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.918 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.918 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.918 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.918 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.918 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.918 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.919 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.919 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.919 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.919 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.919 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.919 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.919 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.919 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.920 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.920 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.920 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.920 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.920 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.920 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.920 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.920 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.921 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.921 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.921 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.921 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.921 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.922 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.922 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.923 * [taylor]: Taking taylor expansion of 0 in lambda2 19.923 * [taylor]: Taking taylor expansion of 0 in lambda2 19.923 * [taylor]: Taking taylor expansion of 0 in lambda2 19.923 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 19.923 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 19.923 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 19.923 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 19.923 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.923 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 19.923 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.923 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.923 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.923 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.923 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.924 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.924 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.924 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.924 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 19.924 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 19.924 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.924 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 19.924 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.924 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.924 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.924 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.924 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.924 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.928 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 19.928 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.929 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.929 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.929 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.929 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.936 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 19.937 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 19.937 * [taylor]: Taking taylor expansion of 0.125 in lambda2 19.937 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 19.937 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.937 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.937 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.951 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 19.952 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 19.952 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 19.952 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 19.952 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 19.952 * [taylor]: Taking taylor expansion of -0.5 in lambda2 19.952 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.954 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 19.954 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.954 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.954 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.954 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.954 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.954 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.954 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.954 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.956 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.956 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.956 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.956 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.956 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.956 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.956 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.956 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.957 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 19.957 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 19.957 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.957 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 19.957 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.957 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.957 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.957 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.958 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 19.958 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 19.958 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 19.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.958 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.958 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.959 * [taylor]: Taking taylor expansion of 0 in lambda2 19.959 * [taylor]: Taking taylor expansion of 0 in lambda2 19.959 * [taylor]: Taking taylor expansion of 0 in lambda2 19.959 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 19.959 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.959 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.959 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.959 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.959 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.959 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.960 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.960 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.960 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.960 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.960 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.960 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.960 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.960 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.961 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.961 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.962 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 19.962 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 19.962 * [taylor]: Taking taylor expansion of 0.5 in lambda1 19.962 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 19.962 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 19.962 * [taylor]: Taking taylor expansion of lambda2 in lambda1 19.962 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 19.962 * [taylor]: Taking taylor expansion of lambda1 in lambda1 19.963 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 19.963 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 19.963 * [taylor]: Taking taylor expansion of 0.5 in lambda2 19.963 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 19.963 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 19.963 * [taylor]: Taking taylor expansion of lambda2 in lambda2 19.963 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 19.963 * [taylor]: Taking taylor expansion of lambda1 in lambda2 19.964 * [taylor]: Taking taylor expansion of 0 in lambda2 19.964 * [taylor]: Taking taylor expansion of 0 in lambda2 19.964 * [taylor]: Taking taylor expansion of 0 in lambda2 19.964 * * * [progress]: simplifying candidates 19.965 * [simplify]: Simplifying using # : (log (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (exp (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) 3)) (cbrt (pow (cbrt (sin (/ (- lambda1 lambda2) 2.0))) 3)) (cbrt (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (sqrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (sqrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt 1) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (/ 3 2))) (* (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)))) (cbrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (* (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3)) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (sqrt (cbrt (pow (* (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) 3))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (+ (exp (* 1/3 (+ (* 3 (log lambda2)) (log (- 0.125))))) (* 0.125 (* (exp (* 1/3 (+ (* 3 (log lambda2)) (log (- 0.125))))) (* lambda2 lambda1)))) (* 0.125 (* (exp (* 1/3 (+ (* 3 (log lambda2)) (log (- 0.125))))) (pow lambda1 2)))) (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) (pow (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2)) 1/3) (- (* 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))) 19.969 * * [simplify]: iteration 0 : 90 enodes (cost 1343 ) 19.985 * * [simplify]: iteration 1 : 182 enodes (cost 1189 ) 20.024 * * [simplify]: iteration 2 : 457 enodes (cost 1133 ) 20.136 * * [simplify]: iteration 3 : 1203 enodes (cost 1125 ) 20.884 * * [simplify]: iteration 4 : 4261 enodes (cost 1119 ) 22.075 * * [simplify]: iteration done : 5000 enodes (cost 1119 ) 22.076 * [simplify]: Simplified to: (log (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (exp (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (* (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6)) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (* (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (sqrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (sqrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) 1 (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (pow (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) 3/2)) (cbrt (pow (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))) 3/2)) (* (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0)))))) (cbrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (cbrt (* (pow (cbrt (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) 6) (sin (/ (- lambda1 lambda2) 2.0))))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (+ (* (cbrt (- 0.125)) lambda2) (* (* 0.125 (* lambda1 (- lambda2 lambda1))) (* (cbrt (- 0.125)) lambda2))) (cbrt (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) (cbrt (* (sin (* 0.5 (- lambda1 lambda2))) (pow (- (* (cos (* 0.5 lambda2)) (sin (* 0.5 lambda1))) (* (cos (* 0.5 lambda1)) (sin (* 0.5 lambda2)))) 2))) (- (* 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))) 22.077 * * * [progress]: adding candidates to table 22.683 * [progress]: [Phase 3 of 3] Extracting. 22.683 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 22.745 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 22.745 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # # # # #) 22.932 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # #) 22.981 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # #) 23.168 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # #) 23.216 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # #) 23.408 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # #) 23.460 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # #) 23.647 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # #) 23.831 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # #) 24.017 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # #) 24.204 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # #) 24.388 * * * [regime]: Found split indices: #