24.830 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.273 * * * [progress]: [2/2] Setting up program. 0.279 * [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.282 * * [simplify]: iteration 0 : 56 enodes (cost 38 ) 0.284 * * [simplify]: iteration 1 : 102 enodes (cost 38 ) 0.287 * * [simplify]: iteration 2 : 191 enodes (cost 38 ) 0.290 * * [simplify]: iteration 3 : 377 enodes (cost 38 ) 0.298 * * [simplify]: iteration 4 : 776 enodes (cost 38 ) 0.315 * * [simplify]: iteration 5 : 2500 enodes (cost 38 ) 0.362 * * [simplify]: iteration 6 : 5002 enodes (cost 38 ) 0.363 * [simplify]: Simplified to: (* R (* 2.0 (atan2 (sqrt (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))) (sqrt (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))))))))) 0.363 * * [progress]: iteration 1 / 4 0.363 * * * [progress]: picking best candidate 0.368 * * * * [pick]: Picked # 0.368 * * * [progress]: localizing error 0.402 * * * [progress]: generating rewritten candidates 0.402 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 0.408 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 0.413 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 0.421 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 0.427 * * * [progress]: generating series expansions 0.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 0.427 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 0.427 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 0.427 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 0.427 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.427 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 0.427 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.427 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.428 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.428 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.428 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.428 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.428 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.428 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.428 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.428 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.428 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.428 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.428 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.428 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.428 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.428 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.428 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.428 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.433 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 0.433 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.433 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.433 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.433 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.433 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.440 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 0.441 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 0.441 * [taylor]: Taking taylor expansion of 0.125 in lambda2 0.441 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.441 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.441 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.441 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.449 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 0.449 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 0.449 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 0.449 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.450 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.450 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.450 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.452 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 0.452 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.452 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.452 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.452 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.452 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.452 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.452 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.452 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.453 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.453 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.453 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.453 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.453 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.453 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.454 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.454 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.454 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.454 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.454 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.454 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.454 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.454 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.455 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.455 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.455 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.455 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.455 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.455 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.455 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.456 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.456 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.456 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.457 * [taylor]: Taking taylor expansion of 0 in lambda2 0.457 * [taylor]: Taking taylor expansion of 0 in lambda2 0.457 * [taylor]: Taking taylor expansion of 0 in lambda2 0.457 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 0.457 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.457 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.457 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.457 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.457 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.457 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.457 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.457 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.458 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.458 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.458 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.458 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.458 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.458 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.458 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.458 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.459 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.459 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.459 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.459 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.459 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.459 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.459 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.459 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.460 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.460 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.460 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.460 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.461 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.461 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.461 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.461 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.462 * [taylor]: Taking taylor expansion of 0 in lambda2 0.462 * [taylor]: Taking taylor expansion of 0 in lambda2 0.462 * [taylor]: Taking taylor expansion of 0 in lambda2 0.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 0.462 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 0.462 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 0.462 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 0.462 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.462 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 0.462 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.462 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.462 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.462 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.462 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.462 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.462 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.462 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.463 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.463 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.463 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.463 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.463 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.463 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.463 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.463 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.463 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.463 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.467 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 0.467 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.467 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.467 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.467 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.467 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.475 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 0.475 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 0.475 * [taylor]: Taking taylor expansion of 0.125 in lambda2 0.475 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.475 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.475 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.475 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.484 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 0.484 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 0.484 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 0.484 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.484 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.484 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.484 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.487 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 0.487 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.487 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.487 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.487 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.487 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.487 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.487 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.487 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.488 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.488 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.488 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.488 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.488 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.488 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.489 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.489 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.489 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.489 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.489 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.489 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.489 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.490 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.490 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.490 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.490 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.490 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.490 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.490 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.490 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.490 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.490 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.492 * [taylor]: Taking taylor expansion of 0 in lambda2 0.492 * [taylor]: Taking taylor expansion of 0 in lambda2 0.492 * [taylor]: Taking taylor expansion of 0 in lambda2 0.492 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 0.492 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.492 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.492 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.492 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.492 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.492 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.492 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.492 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.493 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.493 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.493 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.493 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.493 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.493 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.493 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.493 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.494 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.494 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.494 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.494 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.494 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.494 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.494 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.494 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.495 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.495 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.495 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.495 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.495 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.495 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.496 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.496 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.496 * [taylor]: Taking taylor expansion of 0 in lambda2 0.496 * [taylor]: Taking taylor expansion of 0 in lambda2 0.497 * [taylor]: Taking taylor expansion of 0 in lambda2 0.497 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 0.497 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 0.497 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 0.497 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 0.497 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.497 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 0.497 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.497 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.497 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.497 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.497 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.497 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.497 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.497 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.497 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.497 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.497 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.497 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.498 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.498 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.498 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.498 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.498 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.498 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.502 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 0.502 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.502 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.502 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.502 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.502 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.513 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 0.513 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 0.513 * [taylor]: Taking taylor expansion of 0.125 in lambda2 0.513 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.513 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.513 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.513 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.522 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 0.522 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 0.522 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 0.522 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.522 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.522 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.522 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.525 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 0.525 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.525 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.525 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.525 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.525 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.525 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.525 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.525 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.526 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.526 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.526 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.526 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.526 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.526 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.526 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.526 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.527 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.527 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.527 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.527 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.527 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.527 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.527 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.527 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.528 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.528 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.528 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.528 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.528 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.528 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.528 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.528 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.529 * [taylor]: Taking taylor expansion of 0 in lambda2 0.529 * [taylor]: Taking taylor expansion of 0 in lambda2 0.529 * [taylor]: Taking taylor expansion of 0 in lambda2 0.530 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 0.530 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.530 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.530 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.530 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.530 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.530 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.530 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.530 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.531 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.531 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.531 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.531 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.531 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.531 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.531 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.531 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.532 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.532 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.532 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.532 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.532 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.532 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.532 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.532 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.533 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.533 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.533 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.533 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.533 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.533 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.534 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.534 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.535 * [taylor]: Taking taylor expansion of 0 in lambda2 0.535 * [taylor]: Taking taylor expansion of 0 in lambda2 0.535 * [taylor]: Taking taylor expansion of 0 in lambda2 0.535 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 0.535 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 0.535 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 0.535 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 0.535 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.535 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 0.535 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.535 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.535 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.535 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.535 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.535 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.535 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.535 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.536 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 0.536 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 0.536 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.536 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 0.536 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.536 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.536 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.536 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.536 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.536 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.540 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 0.540 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.540 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.540 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.540 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.540 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.548 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 0.548 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 0.548 * [taylor]: Taking taylor expansion of 0.125 in lambda2 0.548 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 0.548 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.548 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.548 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.557 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 0.557 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 0.557 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 0.557 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 0.557 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 0.557 * [taylor]: Taking taylor expansion of -0.5 in lambda2 0.557 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.560 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 0.560 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.560 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.560 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.560 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.560 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.560 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.560 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.560 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.561 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.561 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.561 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.561 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.561 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.561 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.562 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.562 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.562 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 0.562 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 0.562 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.562 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 0.562 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.562 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.563 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.563 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.563 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 0.563 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 0.563 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.563 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 0.563 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.563 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.564 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.564 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.565 * [taylor]: Taking taylor expansion of 0 in lambda2 0.565 * [taylor]: Taking taylor expansion of 0 in lambda2 0.565 * [taylor]: Taking taylor expansion of 0 in lambda2 0.565 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 0.565 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.565 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.565 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.565 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.565 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.565 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.565 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.565 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.566 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.566 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.566 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.566 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.566 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.566 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.566 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.566 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.567 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 0.567 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 0.567 * [taylor]: Taking taylor expansion of 0.5 in lambda1 0.567 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 0.567 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 0.567 * [taylor]: Taking taylor expansion of lambda2 in lambda1 0.567 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 0.567 * [taylor]: Taking taylor expansion of lambda1 in lambda1 0.569 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 0.569 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 0.569 * [taylor]: Taking taylor expansion of 0.5 in lambda2 0.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 0.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 0.569 * [taylor]: Taking taylor expansion of lambda2 in lambda2 0.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 0.569 * [taylor]: Taking taylor expansion of lambda1 in lambda2 0.570 * [taylor]: Taking taylor expansion of 0 in lambda2 0.570 * [taylor]: Taking taylor expansion of 0 in lambda2 0.570 * [taylor]: Taking taylor expansion of 0 in lambda2 0.570 * * * [progress]: simplifying candidates 0.571 * [simplify]: Simplifying using # : (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 0.575 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 0.577 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 0.580 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 0.584 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 0.596 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 0.639 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 0.640 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 0.641 * * * [progress]: adding candidates to table 1.005 * * [progress]: iteration 2 / 4 1.005 * * * [progress]: picking best candidate 1.083 * * * * [pick]: Picked # 1.083 * * * [progress]: localizing error 1.128 * * * [progress]: generating rewritten candidates 1.128 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 1.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 1.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 1.145 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 1.151 * * * [progress]: generating series expansions 1.151 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 1.151 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.151 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.151 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.151 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.151 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.151 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.151 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.152 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.152 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.152 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.152 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.152 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.152 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.152 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.152 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.152 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.152 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.152 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.152 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.152 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.152 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.152 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.152 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.157 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.157 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.157 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.157 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.157 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.157 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.165 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.165 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.165 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.165 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.165 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.165 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.165 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.174 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.174 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.174 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.174 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.174 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.174 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.174 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.177 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.177 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.177 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.177 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.177 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.177 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.177 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.177 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.177 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.178 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.178 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.178 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.178 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.178 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.178 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.178 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.178 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.179 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.179 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.179 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.179 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.179 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.179 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.179 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.179 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.180 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.180 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.180 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.180 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.180 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.180 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.180 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.180 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.181 * [taylor]: Taking taylor expansion of 0 in lambda2 1.182 * [taylor]: Taking taylor expansion of 0 in lambda2 1.182 * [taylor]: Taking taylor expansion of 0 in lambda2 1.182 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.182 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.182 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.182 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.182 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.182 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.182 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.182 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.182 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.183 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.183 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.183 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.183 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.183 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.183 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.183 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.183 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.184 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.184 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.184 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.184 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.184 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.184 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.184 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.184 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.185 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.185 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.185 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.185 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.185 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.185 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.186 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.186 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.186 * [taylor]: Taking taylor expansion of 0 in lambda2 1.187 * [taylor]: Taking taylor expansion of 0 in lambda2 1.187 * [taylor]: Taking taylor expansion of 0 in lambda2 1.187 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 1.187 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.187 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.187 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.187 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.187 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.187 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.187 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.187 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.187 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.187 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.187 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.187 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.187 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.188 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.188 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.188 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.188 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.188 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.188 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.188 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.188 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.192 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.192 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.192 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.192 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.192 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.192 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.200 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.200 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.200 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.200 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.200 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.200 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.200 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.209 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.209 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.209 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.210 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.210 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.210 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.210 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.212 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.212 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.212 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.212 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.212 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.212 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.212 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.212 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.212 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.216 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.216 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.216 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.216 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.216 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.216 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.217 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.217 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.218 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.218 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.218 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.218 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.218 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.218 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.218 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.218 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.219 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.219 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.219 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.219 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.219 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.219 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.219 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.219 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.220 * [taylor]: Taking taylor expansion of 0 in lambda2 1.220 * [taylor]: Taking taylor expansion of 0 in lambda2 1.220 * [taylor]: Taking taylor expansion of 0 in lambda2 1.221 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.221 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.221 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.221 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.221 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.221 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.221 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.221 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.221 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.222 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.222 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.222 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.222 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.222 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.222 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.222 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.222 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.223 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.223 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.223 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.223 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.223 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.223 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.223 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.223 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.224 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.224 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.224 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.224 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.224 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.224 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.225 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.225 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.225 * [taylor]: Taking taylor expansion of 0 in lambda2 1.225 * [taylor]: Taking taylor expansion of 0 in lambda2 1.225 * [taylor]: Taking taylor expansion of 0 in lambda2 1.226 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 1.226 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.226 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.226 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.226 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.226 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.226 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.226 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.226 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.226 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.226 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.226 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.226 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.226 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.226 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.226 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.226 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.226 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.226 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.226 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.227 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.227 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.227 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.227 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.231 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.231 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.231 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.231 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.231 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.231 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.239 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.239 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.239 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.239 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.239 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.239 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.239 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.248 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.248 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.248 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.248 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.248 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.248 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.248 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.251 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.251 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.251 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.251 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.251 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.251 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.251 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.251 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.251 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.252 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.252 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.252 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.252 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.252 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.252 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.252 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.253 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.253 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.253 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.253 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.253 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.253 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.253 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.254 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.254 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.254 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.254 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.254 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.254 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.254 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.254 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.254 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.254 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.256 * [taylor]: Taking taylor expansion of 0 in lambda2 1.256 * [taylor]: Taking taylor expansion of 0 in lambda2 1.256 * [taylor]: Taking taylor expansion of 0 in lambda2 1.256 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.256 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.256 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.256 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.256 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.256 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.256 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.256 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.256 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.257 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.257 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.257 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.257 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.257 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.257 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.257 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.257 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.258 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.258 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.258 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.258 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.258 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.258 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.258 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.258 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.259 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.259 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.259 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.259 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.259 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.259 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.260 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.260 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.260 * [taylor]: Taking taylor expansion of 0 in lambda2 1.261 * [taylor]: Taking taylor expansion of 0 in lambda2 1.261 * [taylor]: Taking taylor expansion of 0 in lambda2 1.261 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 1.261 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.261 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.261 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.261 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.261 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.261 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.261 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.261 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.261 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.261 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.261 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.261 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.261 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.261 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.262 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.262 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.262 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.262 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.262 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.262 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.262 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.262 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.262 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.266 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.266 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.266 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.266 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.266 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.266 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.274 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.274 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.274 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.274 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.274 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.274 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.274 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.283 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.283 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.283 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.283 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.283 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.283 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.283 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.286 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.286 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.286 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.286 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.286 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.287 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.287 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.287 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.287 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.288 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.288 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.288 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.288 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.288 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.288 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.288 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.288 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.289 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.289 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.289 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.289 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.289 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.289 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.289 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.289 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.290 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.290 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.290 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.290 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.290 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.290 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.290 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.290 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.291 * [taylor]: Taking taylor expansion of 0 in lambda2 1.291 * [taylor]: Taking taylor expansion of 0 in lambda2 1.291 * [taylor]: Taking taylor expansion of 0 in lambda2 1.291 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.291 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.291 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.291 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.292 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.292 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.292 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.292 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.292 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.292 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.293 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.293 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.293 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.293 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.293 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.293 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.293 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.294 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.294 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.294 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.294 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.294 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.294 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.294 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.295 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.295 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.295 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.295 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.295 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.295 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.295 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.295 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.296 * [taylor]: Taking taylor expansion of 0 in lambda2 1.296 * [taylor]: Taking taylor expansion of 0 in lambda2 1.296 * [taylor]: Taking taylor expansion of 0 in lambda2 1.296 * * * [progress]: simplifying candidates 1.297 * [simplify]: Simplifying using # : (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 1.301 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 1.303 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 1.305 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 1.309 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 1.320 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 1.361 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 1.366 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 1.367 * * * [progress]: adding candidates to table 1.730 * * [progress]: iteration 3 / 4 1.730 * * * [progress]: picking best candidate 1.808 * * * * [pick]: Picked # 1.808 * * * [progress]: localizing error 1.854 * * * [progress]: generating rewritten candidates 1.854 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 1.859 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 1.865 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 1.870 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2 1 1) 1.876 * * * [progress]: generating series expansions 1.876 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 1.877 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.877 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.877 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.877 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.877 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.877 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.877 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.877 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.877 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.877 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.877 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.877 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.877 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.878 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.878 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.878 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.878 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.878 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.878 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.878 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.878 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.878 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.878 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.883 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.883 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.883 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.883 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.883 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.883 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.891 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.891 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.891 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.891 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.891 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.891 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.891 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.900 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.900 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.900 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.900 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.900 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.900 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.900 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.903 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.903 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.903 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.903 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.903 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.903 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.903 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.903 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.903 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.904 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.904 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.904 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.904 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.904 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.904 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.904 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.904 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.905 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.905 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.905 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.905 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.905 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.905 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.905 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.905 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.906 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.906 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.906 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.906 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.906 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.906 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.906 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.906 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.907 * [taylor]: Taking taylor expansion of 0 in lambda2 1.908 * [taylor]: Taking taylor expansion of 0 in lambda2 1.908 * [taylor]: Taking taylor expansion of 0 in lambda2 1.908 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.908 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.908 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.908 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.908 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.908 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.908 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.908 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.908 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.909 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.909 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.909 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.909 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.909 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.910 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.910 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.910 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.910 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.910 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.910 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.911 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.911 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.911 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.911 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.912 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.912 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.912 * [taylor]: Taking taylor expansion of 0 in lambda2 1.912 * [taylor]: Taking taylor expansion of 0 in lambda2 1.913 * [taylor]: Taking taylor expansion of 0 in lambda2 1.913 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 1.913 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.913 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.913 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.913 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.913 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.913 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.913 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.913 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.913 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.913 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.913 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.913 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.913 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.913 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.913 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.914 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.914 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.914 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.914 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.914 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.914 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.914 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.918 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.918 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.918 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.918 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.918 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.918 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.926 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.926 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.926 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.926 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.926 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.926 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.926 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.939 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.939 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.939 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.939 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.939 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.939 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.939 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.942 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.942 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.942 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.942 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.942 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.942 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.942 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.942 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.942 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.943 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.943 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.943 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.943 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.943 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.943 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.943 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.943 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.944 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.944 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.944 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.944 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.944 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.944 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.944 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.944 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.945 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.945 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.945 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.945 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.945 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.945 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.945 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.945 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.946 * [taylor]: Taking taylor expansion of 0 in lambda2 1.947 * [taylor]: Taking taylor expansion of 0 in lambda2 1.947 * [taylor]: Taking taylor expansion of 0 in lambda2 1.947 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.947 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.947 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.947 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.947 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.947 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.947 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.947 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.947 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.948 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.948 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.948 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.948 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.948 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.948 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.948 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.948 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.949 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.949 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.949 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.949 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.949 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.949 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.949 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.949 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.950 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.950 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.950 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.950 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.950 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.950 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.951 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.951 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.951 * [taylor]: Taking taylor expansion of 0 in lambda2 1.951 * [taylor]: Taking taylor expansion of 0 in lambda2 1.952 * [taylor]: Taking taylor expansion of 0 in lambda2 1.952 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 1.952 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.952 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.952 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.952 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.952 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.952 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.952 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.952 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.952 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.952 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.952 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.952 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.953 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.953 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.953 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.953 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.953 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.953 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.953 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.953 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.953 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.957 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.957 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.957 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.957 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.957 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.957 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.965 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 1.965 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 1.965 * [taylor]: Taking taylor expansion of 0.125 in lambda2 1.965 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.965 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.965 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.965 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.975 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 1.975 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 1.975 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 1.975 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.975 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.975 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.975 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.978 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 1.978 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.978 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.978 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.978 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.978 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.978 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.978 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.978 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.979 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.979 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.979 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.979 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.979 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.979 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.979 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.979 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.980 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 1.980 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 1.980 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.980 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 1.980 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.980 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.980 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.980 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.981 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 1.981 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 1.981 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.981 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 1.981 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.981 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.981 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.981 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.982 * [taylor]: Taking taylor expansion of 0 in lambda2 1.982 * [taylor]: Taking taylor expansion of 0 in lambda2 1.983 * [taylor]: Taking taylor expansion of 0 in lambda2 1.983 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 1.983 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.983 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.983 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.983 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.983 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.983 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.983 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.983 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.984 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.984 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.984 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.984 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.984 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.984 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.984 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.984 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.985 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 1.985 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 1.985 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.985 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 1.985 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 1.985 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.985 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 1.985 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.986 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 1.986 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 1.986 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.986 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 1.986 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 1.986 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.987 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 1.987 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.987 * [taylor]: Taking taylor expansion of 0 in lambda2 1.987 * [taylor]: Taking taylor expansion of 0 in lambda2 1.988 * [taylor]: Taking taylor expansion of 0 in lambda2 1.988 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2 1 1) 1.988 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 1.988 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 1.988 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 1.988 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.988 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 1.988 * [taylor]: Taking taylor expansion of lambda1 in lambda2 1.988 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.988 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.988 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.988 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.988 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.988 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.988 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.988 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 1.988 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 1.988 * [taylor]: Taking taylor expansion of 0.5 in lambda1 1.989 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 1.989 * [taylor]: Taking taylor expansion of lambda1 in lambda1 1.989 * [taylor]: Taking taylor expansion of lambda2 in lambda1 1.989 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 1.989 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.989 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.989 * [taylor]: Taking taylor expansion of lambda2 in lambda2 1.993 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 1.993 * [taylor]: Taking taylor expansion of 0.5 in lambda2 1.993 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 1.993 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 1.993 * [taylor]: Taking taylor expansion of -0.5 in lambda2 1.993 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.001 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.001 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.001 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.001 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.001 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.001 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.001 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.010 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.010 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.010 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.010 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.010 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.010 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.010 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.013 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.013 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.013 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.013 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.013 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.013 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.013 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.013 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.013 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.014 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.014 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.014 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.015 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.015 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.015 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.015 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.015 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.015 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.015 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.016 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.016 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.016 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.016 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.016 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.016 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.017 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.017 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.017 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.017 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.017 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.017 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.017 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.017 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.018 * [taylor]: Taking taylor expansion of 0 in lambda2 2.018 * [taylor]: Taking taylor expansion of 0 in lambda2 2.018 * [taylor]: Taking taylor expansion of 0 in lambda2 2.018 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.018 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.018 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.018 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.018 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.018 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.018 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.019 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.019 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.019 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.019 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.019 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.019 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.019 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.019 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.019 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.019 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.020 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.020 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.020 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.021 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.021 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.021 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.021 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.021 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.022 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.022 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.022 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.022 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.022 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.022 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.022 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.022 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.023 * [taylor]: Taking taylor expansion of 0 in lambda2 2.023 * [taylor]: Taking taylor expansion of 0 in lambda2 2.023 * [taylor]: Taking taylor expansion of 0 in lambda2 2.023 * * * [progress]: simplifying candidates 2.027 * [simplify]: Simplifying using # : (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 2.031 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 2.033 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 2.035 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 2.039 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 2.050 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 2.091 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 2.093 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 2.093 * * * [progress]: adding candidates to table 2.463 * * [progress]: iteration 4 / 4 2.463 * * * [progress]: picking best candidate 2.551 * * * * [pick]: Picked # 2.552 * * * [progress]: localizing error 2.594 * * * [progress]: generating rewritten candidates 2.594 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 2.599 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 2.605 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1 1) 2.610 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2 1 1) 2.616 * * * [progress]: generating series expansions 2.616 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 2.617 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.617 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.617 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.617 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.617 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.617 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.617 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.617 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.617 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.617 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.617 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.617 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.617 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.618 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.618 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.618 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.618 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.618 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.618 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.618 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.618 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.618 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.618 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.623 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.623 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.623 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.623 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.623 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.623 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.631 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.631 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.631 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.631 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.631 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.631 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.631 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.640 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.640 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.640 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.640 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.640 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.640 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.640 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.643 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.643 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.643 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.643 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.643 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.643 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.643 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.643 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.643 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.647 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.647 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.647 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.647 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.647 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.647 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.647 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.648 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.648 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.648 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.648 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.648 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.648 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.648 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.649 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.649 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.649 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.649 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.649 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.649 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.649 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.649 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.649 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.649 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.651 * [taylor]: Taking taylor expansion of 0 in lambda2 2.651 * [taylor]: Taking taylor expansion of 0 in lambda2 2.651 * [taylor]: Taking taylor expansion of 0 in lambda2 2.651 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.651 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.651 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.651 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.651 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.651 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.651 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.651 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.651 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.652 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.652 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.652 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.652 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.652 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.652 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.652 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.652 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.653 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.653 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.653 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.653 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.653 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.653 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.653 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.654 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.655 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.655 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.655 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.655 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.655 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.655 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.655 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.656 * [taylor]: Taking taylor expansion of 0 in lambda2 2.656 * [taylor]: Taking taylor expansion of 0 in lambda2 2.656 * [taylor]: Taking taylor expansion of 0 in lambda2 2.656 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 2.656 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.656 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.656 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.656 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.656 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.656 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.656 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.656 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.656 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.656 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.656 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.657 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.657 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.657 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.657 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.657 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.657 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.657 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.657 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.657 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.657 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.657 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.657 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.661 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.661 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.661 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.661 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.661 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.661 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.669 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.669 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.669 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.669 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.669 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.669 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.669 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.679 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.679 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.679 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.679 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.679 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.679 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.679 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.682 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.682 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.682 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.682 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.682 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.682 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.682 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.682 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.682 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.683 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.683 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.683 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.683 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.683 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.683 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.683 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.683 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.684 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.684 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.684 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.684 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.684 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.684 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.684 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.684 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.685 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.685 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.685 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.685 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.685 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.685 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.685 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.685 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.687 * [taylor]: Taking taylor expansion of 0 in lambda2 2.687 * [taylor]: Taking taylor expansion of 0 in lambda2 2.687 * [taylor]: Taking taylor expansion of 0 in lambda2 2.687 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.687 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.687 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.687 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.687 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.687 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.687 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.687 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.687 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.688 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.688 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.688 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.688 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.688 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.688 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.688 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.688 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.689 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.689 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.689 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.689 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.689 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.689 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.689 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.689 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.690 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.690 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.690 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.690 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.690 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.691 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.691 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.691 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.692 * [taylor]: Taking taylor expansion of 0 in lambda2 2.692 * [taylor]: Taking taylor expansion of 0 in lambda2 2.692 * [taylor]: Taking taylor expansion of 0 in lambda2 2.692 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1 1) 2.692 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.692 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.692 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.692 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.692 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.692 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.692 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.692 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.692 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.692 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.692 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.692 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.692 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.693 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.693 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.693 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.693 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.693 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.693 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.693 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.693 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.693 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.693 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.697 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.697 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.697 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.697 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.697 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.697 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.705 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.705 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.705 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.705 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.705 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.705 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.705 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.714 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.715 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.715 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.715 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.715 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.715 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.715 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.717 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.717 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.717 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.717 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.717 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.717 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.718 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.718 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.718 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.719 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.719 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.719 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.719 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.719 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.719 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.719 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.719 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.720 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.720 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.720 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.720 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.720 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.720 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.720 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.720 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.721 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.721 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.721 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.721 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.721 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.721 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.721 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.721 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.722 * [taylor]: Taking taylor expansion of 0 in lambda2 2.722 * [taylor]: Taking taylor expansion of 0 in lambda2 2.723 * [taylor]: Taking taylor expansion of 0 in lambda2 2.723 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.723 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.723 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.723 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.723 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.723 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.723 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.723 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.723 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.724 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.724 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.724 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.724 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.724 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.724 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.724 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.724 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.725 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.725 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.725 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.725 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.725 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.725 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.725 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.725 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.726 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.726 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.726 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.726 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.726 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.726 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.727 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.727 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.727 * [taylor]: Taking taylor expansion of 0 in lambda2 2.727 * [taylor]: Taking taylor expansion of 0 in lambda2 2.727 * [taylor]: Taking taylor expansion of 0 in lambda2 2.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2 1 1) 2.728 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 2.728 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 2.728 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 2.728 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.728 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 2.728 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.728 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.728 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.728 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.728 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.728 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.728 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.728 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.728 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 2.728 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 2.728 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.728 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 2.728 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.728 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.729 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.729 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.729 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.729 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.736 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 2.736 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.736 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.736 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.736 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.736 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.744 * [taylor]: Taking taylor expansion of (- (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 2.744 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 2.744 * [taylor]: Taking taylor expansion of 0.125 in lambda2 2.744 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 2.744 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.744 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.744 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.754 * [taylor]: Taking taylor expansion of (- (* 0.020833333333333332 (cos (* -0.5 lambda2)))) in lambda2 2.754 * [taylor]: Taking taylor expansion of (* 0.020833333333333332 (cos (* -0.5 lambda2))) in lambda2 2.754 * [taylor]: Taking taylor expansion of 0.020833333333333332 in lambda2 2.754 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 2.754 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 2.754 * [taylor]: Taking taylor expansion of -0.5 in lambda2 2.754 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.757 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 2.757 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.757 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.757 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.757 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.757 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.757 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.757 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.757 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.758 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.758 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.758 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.758 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.758 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.758 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.758 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.759 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 2.759 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 2.759 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.759 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 2.759 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.759 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.759 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.759 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.760 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 2.760 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 2.760 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.760 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 2.760 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.760 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.760 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.760 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.761 * [taylor]: Taking taylor expansion of 0 in lambda2 2.761 * [taylor]: Taking taylor expansion of 0 in lambda2 2.762 * [taylor]: Taking taylor expansion of 0 in lambda2 2.762 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 2.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.762 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.762 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.762 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.763 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.763 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.763 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.763 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.763 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.763 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.763 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.763 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.764 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 2.764 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 2.764 * [taylor]: Taking taylor expansion of 0.5 in lambda1 2.764 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 2.764 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 2.764 * [taylor]: Taking taylor expansion of lambda2 in lambda1 2.764 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 2.764 * [taylor]: Taking taylor expansion of lambda1 in lambda1 2.765 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 2.765 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 2.765 * [taylor]: Taking taylor expansion of 0.5 in lambda2 2.765 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 2.765 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 2.765 * [taylor]: Taking taylor expansion of lambda2 in lambda2 2.766 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 2.766 * [taylor]: Taking taylor expansion of lambda1 in lambda2 2.766 * [taylor]: Taking taylor expansion of 0 in lambda2 2.767 * [taylor]: Taking taylor expansion of 0 in lambda2 2.767 * [taylor]: Taking taylor expansion of 0 in lambda2 2.767 * * * [progress]: simplifying candidates 2.768 * [simplify]: Simplifying using # : (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (* (* (sin (/ (- lambda1 lambda2) 2.0)) (sin (/ (- lambda1 lambda2) 2.0))) (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (- (* 0.5 lambda1) (+ (* 0.5 lambda2) (* 0.020833333333333332 (pow lambda1 3)))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 2.771 * * [simplify]: iteration 0 : 58 enodes (cost 276 ) 2.773 * * [simplify]: iteration 1 : 99 enodes (cost 248 ) 2.776 * * [simplify]: iteration 2 : 212 enodes (cost 248 ) 2.780 * * [simplify]: iteration 3 : 467 enodes (cost 248 ) 2.791 * * [simplify]: iteration 4 : 1459 enodes (cost 248 ) 2.832 * * [simplify]: iteration 5 : 5002 enodes (cost 248 ) 2.834 * [simplify]: Simplified to: (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (expm1 (sin (/ (- lambda1 lambda2) 2.0))) (log1p (sin (/ (- lambda1 lambda2) 2.0))) (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))) (log (sin (/ (- lambda1 lambda2) 2.0))) (exp (sin (/ (- lambda1 lambda2) 2.0))) (* (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (cbrt (sin (/ (- lambda1 lambda2) 2.0)))) (cbrt (sin (/ (- lambda1 lambda2) 2.0))) (pow (sin (/ (- lambda1 lambda2) 2.0)) 3) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (sqrt (sin (/ (- lambda1 lambda2) 2.0))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) (fma 0.5 lambda1 (- (fma 0.5 lambda2 (* 0.020833333333333332 (pow lambda1 3))))) (sin (* 0.5 (- lambda1 lambda2))) (sin (* 0.5 (- lambda1 lambda2))) 2.835 * * * [progress]: adding candidates to table 3.229 * [progress]: [Phase 3 of 3] Extracting. 3.229 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 3.259 * * * [regime-changes]: Trying 8 branch expressions: ((- lambda1 lambda2) (/ (- lambda1 lambda2) 2.0) (sin (/ (- lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 3.259 * * * * [regimes]: Trying to branch on (- lambda1 lambda2) from (# # # # # # # # # # # # #) 3.379 * * * * [regimes]: Trying to branch on (/ (- lambda1 lambda2) 2.0) from (# # # # # # # # # # # # #) 3.496 * * * * [regimes]: Trying to branch on (sin (/ (- lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # #) 3.621 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # #) 3.742 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # #) 3.865 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # #) 3.985 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # #) 4.109 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # #) 4.227 * * * [regime]: Found split indices: #