6.177 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 7.208 * * * [progress]: [2/2] Setting up program. 7.214 * [progress]: [Phase 2 of 3] Improving. 7.214 * [simplify]: Simplifying using # : (*.f64 R (*.f64 2.0 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) 2.0) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))))) (sqrt.f64 (-.f64 1.0 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) 2.0) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))))))))) 7.277 * * [simplify]: iteration 0 : 4860 enodes (cost 65 ) 7.277 * * [simplify]: iteration 1 : 4860 enodes (cost 65 ) 7.278 * [simplify]: Simplified to: (*.f64 R (*.f64 2.0 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) 2.0) (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))))) (sqrt.f64 (-.f64 1.0 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) 2.0) (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))))))))) 7.288 * * [progress]: iteration 1 / 4 7.288 * * * [progress]: picking best candidate 7.293 * * * * [pick]: Picked # 7.294 * * * [progress]: localizing error 7.327 * * * [progress]: generating rewritten candidates 7.327 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.332 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 7.338 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.343 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.349 * * * [progress]: generating series expansions 7.350 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.350 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 7.350 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 7.350 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 7.350 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.350 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.350 * [taylor]: Taking taylor expansion of phi1 in phi2 7.350 * [taylor]: Taking taylor expansion of phi2 in phi2 7.350 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 7.350 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 7.350 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.350 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.350 * [taylor]: Taking taylor expansion of phi1 in phi1 7.350 * [taylor]: Taking taylor expansion of phi2 in phi1 7.350 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 7.350 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 7.350 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.350 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.350 * [taylor]: Taking taylor expansion of phi1 in phi1 7.350 * [taylor]: Taking taylor expansion of phi2 in phi1 7.351 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 7.351 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.351 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.351 * [taylor]: Taking taylor expansion of phi2 in phi2 7.352 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 7.352 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.352 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 7.352 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.352 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.352 * [taylor]: Taking taylor expansion of phi2 in phi2 7.353 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 7.353 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 7.353 * [taylor]: Taking taylor expansion of 0.125 in phi2 7.353 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 7.353 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.353 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.353 * [taylor]: Taking taylor expansion of phi2 in phi2 7.354 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.354 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.354 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.354 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.354 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.354 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.354 * [taylor]: Taking taylor expansion of phi1 in phi2 7.354 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.354 * [taylor]: Taking taylor expansion of phi2 in phi2 7.354 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.354 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.354 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.354 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.354 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.354 * [taylor]: Taking taylor expansion of phi1 in phi1 7.354 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.354 * [taylor]: Taking taylor expansion of phi2 in phi1 7.354 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.354 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.354 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.354 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.354 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.354 * [taylor]: Taking taylor expansion of phi1 in phi1 7.354 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.354 * [taylor]: Taking taylor expansion of phi2 in phi1 7.355 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.355 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.355 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.355 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.355 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.355 * [taylor]: Taking taylor expansion of phi1 in phi2 7.355 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.355 * [taylor]: Taking taylor expansion of phi2 in phi2 7.355 * [taylor]: Taking taylor expansion of 0 in phi2 7.355 * [taylor]: Taking taylor expansion of 0 in phi2 7.355 * [taylor]: Taking taylor expansion of 0 in phi2 7.355 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.355 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.355 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.355 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.355 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.355 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.355 * [taylor]: Taking taylor expansion of phi2 in phi2 7.355 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.355 * [taylor]: Taking taylor expansion of phi1 in phi2 7.356 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.356 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.356 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.356 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.356 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.356 * [taylor]: Taking taylor expansion of phi2 in phi1 7.356 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.356 * [taylor]: Taking taylor expansion of phi1 in phi1 7.356 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.356 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.356 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.356 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.356 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.356 * [taylor]: Taking taylor expansion of phi2 in phi1 7.356 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.356 * [taylor]: Taking taylor expansion of phi1 in phi1 7.356 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.356 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.356 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.356 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.356 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.356 * [taylor]: Taking taylor expansion of phi2 in phi2 7.356 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.356 * [taylor]: Taking taylor expansion of phi1 in phi2 7.357 * [taylor]: Taking taylor expansion of 0 in phi2 7.357 * [taylor]: Taking taylor expansion of 0 in phi2 7.357 * [taylor]: Taking taylor expansion of 0 in phi2 7.357 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 7.357 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 7.357 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 7.357 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 7.357 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.357 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.357 * [taylor]: Taking taylor expansion of phi1 in phi2 7.357 * [taylor]: Taking taylor expansion of phi2 in phi2 7.357 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 7.357 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 7.357 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.357 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.357 * [taylor]: Taking taylor expansion of phi1 in phi1 7.357 * [taylor]: Taking taylor expansion of phi2 in phi1 7.357 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 7.357 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 7.357 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.357 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.357 * [taylor]: Taking taylor expansion of phi1 in phi1 7.357 * [taylor]: Taking taylor expansion of phi2 in phi1 7.358 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 7.358 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.358 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.358 * [taylor]: Taking taylor expansion of phi2 in phi2 7.358 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 7.358 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.358 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 7.358 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.358 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.358 * [taylor]: Taking taylor expansion of phi2 in phi2 7.359 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 7.359 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 7.359 * [taylor]: Taking taylor expansion of 0.125 in phi2 7.359 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 7.359 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.359 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.359 * [taylor]: Taking taylor expansion of phi2 in phi2 7.359 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.359 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.359 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.359 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.359 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.359 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.359 * [taylor]: Taking taylor expansion of phi1 in phi2 7.359 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.359 * [taylor]: Taking taylor expansion of phi2 in phi2 7.360 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.360 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.360 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.360 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.360 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.360 * [taylor]: Taking taylor expansion of phi1 in phi1 7.360 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.360 * [taylor]: Taking taylor expansion of phi2 in phi1 7.360 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.360 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.360 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.360 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.360 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.360 * [taylor]: Taking taylor expansion of phi1 in phi1 7.360 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.360 * [taylor]: Taking taylor expansion of phi2 in phi1 7.360 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.360 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.360 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.360 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.360 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.360 * [taylor]: Taking taylor expansion of phi1 in phi2 7.360 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.360 * [taylor]: Taking taylor expansion of phi2 in phi2 7.361 * [taylor]: Taking taylor expansion of 0 in phi2 7.361 * [taylor]: Taking taylor expansion of 0 in phi2 7.361 * [taylor]: Taking taylor expansion of 0 in phi2 7.361 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.361 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.361 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.361 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.361 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.361 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.361 * [taylor]: Taking taylor expansion of phi2 in phi2 7.361 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.361 * [taylor]: Taking taylor expansion of phi1 in phi2 7.361 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.361 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.361 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.361 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.361 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.361 * [taylor]: Taking taylor expansion of phi2 in phi1 7.361 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.361 * [taylor]: Taking taylor expansion of phi1 in phi1 7.361 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.361 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.361 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.362 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.362 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.362 * [taylor]: Taking taylor expansion of phi2 in phi1 7.362 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.362 * [taylor]: Taking taylor expansion of phi1 in phi1 7.362 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.362 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.362 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.362 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.362 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.362 * [taylor]: Taking taylor expansion of phi2 in phi2 7.362 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.362 * [taylor]: Taking taylor expansion of phi1 in phi2 7.362 * [taylor]: Taking taylor expansion of 0 in phi2 7.362 * [taylor]: Taking taylor expansion of 0 in phi2 7.362 * [taylor]: Taking taylor expansion of 0 in phi2 7.362 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.362 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.363 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.363 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.363 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.363 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.363 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.363 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.363 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.363 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.363 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.363 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.363 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.363 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.363 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.363 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.363 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.363 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.363 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.363 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.363 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.363 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.363 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.363 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.364 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.364 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.364 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.364 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.364 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.364 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.364 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.364 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.364 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.364 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.364 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.365 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.365 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.365 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.365 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.365 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.365 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.365 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.365 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.365 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.365 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.365 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.365 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.365 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.365 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.365 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.365 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.365 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.365 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.365 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.366 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.366 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.366 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.366 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.366 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.366 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.366 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.366 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.366 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.366 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.366 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.366 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.366 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.366 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.366 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.366 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.366 * [taylor]: Taking taylor expansion of 0 in lambda2 7.366 * [taylor]: Taking taylor expansion of 0 in lambda2 7.366 * [taylor]: Taking taylor expansion of 0 in lambda2 7.367 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.367 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.367 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.367 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.367 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.367 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.367 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.367 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.367 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.367 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.367 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.367 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.367 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.367 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.367 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.367 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.367 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.367 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.367 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.367 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.367 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.367 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.367 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.367 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.367 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.368 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.368 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.368 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.368 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.368 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.368 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.368 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.368 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.368 * [taylor]: Taking taylor expansion of 0 in lambda2 7.368 * [taylor]: Taking taylor expansion of 0 in lambda2 7.368 * [taylor]: Taking taylor expansion of 0 in lambda2 7.368 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.368 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.368 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.368 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.368 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.368 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.368 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.368 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.369 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.369 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.369 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.369 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.369 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.369 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.369 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.369 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.369 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.369 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.369 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.369 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.369 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.369 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.369 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.369 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.370 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.370 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.370 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.370 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.370 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.370 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.370 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.370 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.370 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.370 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.370 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.370 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.370 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.371 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.371 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.371 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.371 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.371 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.371 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.371 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.371 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.371 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.371 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.371 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.371 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.371 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.371 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.371 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.371 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.371 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.371 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.371 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.371 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.372 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.372 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.372 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.372 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.372 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.372 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.372 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.372 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.372 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.372 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.372 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.372 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.372 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.372 * [taylor]: Taking taylor expansion of 0 in lambda2 7.372 * [taylor]: Taking taylor expansion of 0 in lambda2 7.372 * [taylor]: Taking taylor expansion of 0 in lambda2 7.372 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.372 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.372 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.372 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.373 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.373 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.373 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.373 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.373 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.373 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.373 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.373 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.373 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.373 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.373 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.373 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.373 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.373 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.373 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.373 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.373 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.373 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.373 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.373 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.373 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.373 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.374 * [taylor]: Taking taylor expansion of 0 in lambda2 7.374 * [taylor]: Taking taylor expansion of 0 in lambda2 7.374 * [taylor]: Taking taylor expansion of 0 in lambda2 7.374 * * * [progress]: simplifying candidates 7.375 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 phi1 2.0)) (cos.f64 (/.f64 phi2 2.0))) (*.f64 (cos.f64 (/.f64 phi1 2.0)) (sin.f64 (/.f64 phi2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (sin.f64 (/.f64 phi1 2.0)) (cos.f64 (/.f64 phi2 2.0))) (*.f64 (cos.f64 (/.f64 phi1 2.0)) (sin.f64 (/.f64 phi2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (-.f64 (*.f64 0.5 phi1) (*.f64 0.5 phi2)) (sin.f64 (*.f64 0.5 (-.f64 phi1 phi2))) (sin.f64 (*.f64 0.5 (-.f64 phi1 phi2))) (-.f64 (*.f64 0.5 phi1) (*.f64 0.5 phi2)) (sin.f64 (*.f64 0.5 (-.f64 phi1 phi2))) (sin.f64 (*.f64 0.5 (-.f64 phi1 phi2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) 7.467 * * [simplify]: iteration 0 : 4883 enodes (cost 372 ) 7.467 * * [simplify]: iteration 1 : 4883 enodes (cost 372 ) 7.470 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 phi1 2.0)) (cos.f64 (/.f64 phi2 2.0))) (*.f64 (cos.f64 (/.f64 phi1 2.0)) (sin.f64 (/.f64 phi2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (sin.f64 (/.f64 phi1 2.0)) (cos.f64 (/.f64 phi2 2.0))) (*.f64 (cos.f64 (/.f64 phi1 2.0)) (sin.f64 (/.f64 phi2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (-.f64 phi1 phi2) 0.5) (sin.f64 (*.f64 (-.f64 phi1 phi2) 0.5)) (sin.f64 (*.f64 (-.f64 phi1 phi2) 0.5)) (*.f64 (-.f64 phi1 phi2) 0.5) (sin.f64 (*.f64 (-.f64 phi1 phi2) 0.5)) (sin.f64 (*.f64 (-.f64 phi1 phi2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) 7.470 * * * [progress]: adding candidates to table 7.592 * * [progress]: iteration 2 / 4 7.592 * * * [progress]: picking best candidate 7.677 * * * * [pick]: Picked # 7.677 * * * [progress]: localizing error 7.728 * * * [progress]: generating rewritten candidates 7.728 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.734 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.740 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.746 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.752 * * * [progress]: generating series expansions 7.752 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.752 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in (phi1 phi2) around 0 7.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi2 7.752 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi2 7.752 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.752 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.752 * [taylor]: Taking taylor expansion of phi1 in phi2 7.752 * [taylor]: Taking taylor expansion of phi2 in phi2 7.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 7.752 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 7.752 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.752 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.752 * [taylor]: Taking taylor expansion of phi1 in phi1 7.752 * [taylor]: Taking taylor expansion of phi2 in phi1 7.752 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- phi1 phi2))) in phi1 7.752 * [taylor]: Taking taylor expansion of (* 0.5 (- phi1 phi2)) in phi1 7.752 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.752 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.752 * [taylor]: Taking taylor expansion of phi1 in phi1 7.752 * [taylor]: Taking taylor expansion of phi2 in phi1 7.753 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 7.753 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.753 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.753 * [taylor]: Taking taylor expansion of phi2 in phi2 7.753 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 phi2))) in phi2 7.753 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.753 * [taylor]: Taking taylor expansion of (cos (* -0.5 phi2)) in phi2 7.753 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.753 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.753 * [taylor]: Taking taylor expansion of phi2 in phi2 7.754 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 phi2)))) in phi2 7.754 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 phi2))) in phi2 7.754 * [taylor]: Taking taylor expansion of 0.125 in phi2 7.754 * [taylor]: Taking taylor expansion of (sin (* -0.5 phi2)) in phi2 7.754 * [taylor]: Taking taylor expansion of (* -0.5 phi2) in phi2 7.754 * [taylor]: Taking taylor expansion of -0.5 in phi2 7.754 * [taylor]: Taking taylor expansion of phi2 in phi2 7.755 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.755 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.755 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.755 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.755 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.755 * [taylor]: Taking taylor expansion of phi1 in phi2 7.755 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.755 * [taylor]: Taking taylor expansion of phi2 in phi2 7.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.755 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.755 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.755 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.755 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.755 * [taylor]: Taking taylor expansion of phi1 in phi1 7.755 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.755 * [taylor]: Taking taylor expansion of phi2 in phi1 7.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.755 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.755 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.755 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.755 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.755 * [taylor]: Taking taylor expansion of phi1 in phi1 7.755 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.755 * [taylor]: Taking taylor expansion of phi2 in phi1 7.755 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.755 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.755 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.756 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.756 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.756 * [taylor]: Taking taylor expansion of phi1 in phi2 7.756 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.756 * [taylor]: Taking taylor expansion of phi2 in phi2 7.756 * [taylor]: Taking taylor expansion of 0 in phi2 7.756 * [taylor]: Taking taylor expansion of 0 in phi2 7.756 * [taylor]: Taking taylor expansion of 0 in phi2 7.756 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.756 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.756 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.756 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.756 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.756 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.756 * [taylor]: Taking taylor expansion of phi2 in phi2 7.756 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.756 * [taylor]: Taking taylor expansion of phi1 in phi2 7.756 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.756 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.756 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.756 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.757 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.757 * [taylor]: Taking taylor expansion of phi2 in phi1 7.757 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.757 * [taylor]: Taking taylor expansion of phi1 in phi1 7.757 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.757 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.757 * [taylor]: Taking taylor expansion of 0.5 in phi1 7.757 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.757 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.757 * [taylor]: Taking taylor expansion of phi2 in phi1 7.757 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.757 * [taylor]: Taking taylor expansion of phi1 in phi1 7.757 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.757 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.757 * [taylor]: Taking taylor expansion of 0.5 in phi2 7.757 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.757 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.757 * [taylor]: Taking taylor expansion of phi2 in phi2 7.757 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.757 * [taylor]: Taking taylor expansion of phi1 in phi2 7.757 * [taylor]: Taking taylor expansion of 0 in phi2 7.757 * [taylor]: Taking taylor expansion of 0 in phi2 7.757 * [taylor]: Taking taylor expansion of 0 in phi2 7.758 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.758 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.758 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.758 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.758 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.758 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.758 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.758 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.758 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.758 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.758 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.758 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.758 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.758 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.758 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.758 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.758 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.759 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.759 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.759 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.759 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.759 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.759 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.759 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.759 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.760 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.760 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.760 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.760 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.760 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.760 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.760 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.760 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.760 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.760 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.760 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.760 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.760 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.760 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.760 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.760 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.760 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.760 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.760 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.760 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.760 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.761 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.761 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.761 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.761 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.761 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.761 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.761 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.761 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.761 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.761 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.761 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.761 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.761 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.761 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.761 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.761 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.761 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.761 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.761 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.761 * [taylor]: Taking taylor expansion of 0 in lambda2 7.761 * [taylor]: Taking taylor expansion of 0 in lambda2 7.761 * [taylor]: Taking taylor expansion of 0 in lambda2 7.762 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.762 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.762 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.762 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.762 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.762 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.762 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.762 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.762 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.762 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.762 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.762 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.762 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.762 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.762 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.763 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.763 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.763 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.763 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.763 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.763 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.763 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.763 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.763 * [taylor]: Taking taylor expansion of 0 in lambda2 7.763 * [taylor]: Taking taylor expansion of 0 in lambda2 7.763 * [taylor]: Taking taylor expansion of 0 in lambda2 7.763 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.763 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.763 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.763 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.763 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.763 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.763 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.763 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.763 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.764 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.764 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.764 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.764 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.764 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.764 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.764 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.764 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.764 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.764 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.764 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.764 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.764 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.764 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.764 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.764 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.764 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.765 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.765 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.765 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.765 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.765 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.765 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.765 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.765 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.765 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.765 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.765 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.766 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.766 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.766 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.766 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.766 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.766 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.766 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.766 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.766 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.766 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.766 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.766 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.766 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.766 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.766 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.766 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.766 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.766 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.766 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.766 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.766 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.766 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.766 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.766 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.766 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.767 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.767 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.767 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.767 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.767 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.767 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.767 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.767 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.767 * [taylor]: Taking taylor expansion of 0 in lambda2 7.767 * [taylor]: Taking taylor expansion of 0 in lambda2 7.767 * [taylor]: Taking taylor expansion of 0 in lambda2 7.767 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.767 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.767 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.767 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.767 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.767 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.767 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.767 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.767 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.767 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.768 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.768 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.768 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.768 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.768 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.768 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.768 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.768 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.768 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.768 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.768 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.768 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.768 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.768 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.768 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.768 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.768 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.768 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.768 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.768 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.768 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.768 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.768 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.768 * [taylor]: Taking taylor expansion of 0 in lambda2 7.768 * [taylor]: Taking taylor expansion of 0 in lambda2 7.769 * [taylor]: Taking taylor expansion of 0 in lambda2 7.769 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.771 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.771 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 7.771 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 7.771 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.771 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.771 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.771 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.771 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.771 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.771 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.771 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.771 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.771 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.771 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 7.771 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 7.771 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.771 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.771 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.771 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.771 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.771 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.771 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.772 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.772 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 7.772 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.772 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 7.772 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.772 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.772 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.773 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 7.773 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 7.773 * [taylor]: Taking taylor expansion of 0.125 in lambda2 7.773 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 7.773 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 7.773 * [taylor]: Taking taylor expansion of -0.5 in lambda2 7.773 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.773 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.773 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.773 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.773 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.773 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.773 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.773 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.773 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.773 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.773 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.774 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.774 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.774 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.774 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.774 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.774 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.774 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.774 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.774 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.774 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.774 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.774 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.774 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.774 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.774 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.774 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.774 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.774 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.774 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.774 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.774 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.774 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.774 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.774 * [taylor]: Taking taylor expansion of 0 in lambda2 7.775 * [taylor]: Taking taylor expansion of 0 in lambda2 7.775 * [taylor]: Taking taylor expansion of 0 in lambda2 7.775 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.775 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.775 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.775 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.775 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.775 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.775 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.775 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.775 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.775 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.775 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.775 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.775 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.775 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.775 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.775 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.775 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.775 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.775 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.775 * [taylor]: Taking taylor expansion of 0.5 in lambda1 7.775 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.775 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.775 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.775 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.775 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.776 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.776 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.776 * [taylor]: Taking taylor expansion of 0.5 in lambda2 7.776 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.776 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.776 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.776 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.776 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.776 * [taylor]: Taking taylor expansion of 0 in lambda2 7.776 * [taylor]: Taking taylor expansion of 0 in lambda2 7.776 * [taylor]: Taking taylor expansion of 0 in lambda2 7.776 * * * [progress]: simplifying candidates 7.777 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 phi1 2.0)) (cos.f64 (/.f64 phi2 2.0))) (*.f64 (cos.f64 (/.f64 phi1 2.0)) (sin.f64 (/.f64 phi2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (-.f64 (*.f64 0.5 phi1) (*.f64 0.5 phi2)) (sin.f64 (*.f64 0.5 (-.f64 phi1 phi2))) (sin.f64 (*.f64 0.5 (-.f64 phi1 phi2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) 7.866 * * [simplify]: iteration 0 : 4883 enodes (cost 372 ) 7.867 * * [simplify]: iteration 1 : 4883 enodes (cost 372 ) 7.869 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 phi1 2.0)) (cos.f64 (/.f64 phi2 2.0))) (*.f64 (cos.f64 (/.f64 phi1 2.0)) (sin.f64 (/.f64 phi2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (-.f64 phi1 phi2) 0.5) (sin.f64 (*.f64 (-.f64 phi1 phi2) 0.5)) (sin.f64 (*.f64 (-.f64 phi1 phi2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) 7.870 * * * [progress]: adding candidates to table 7.997 * * [progress]: iteration 3 / 4 7.997 * * * [progress]: picking best candidate 8.113 * * * * [pick]: Picked # 8.114 * * * [progress]: localizing error 8.162 * * * [progress]: generating rewritten candidates 8.162 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.168 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.173 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.179 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 8.185 * * * [progress]: generating series expansions 8.185 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.185 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.186 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.186 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.186 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.186 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.186 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.186 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.186 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.186 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.186 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.186 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.186 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.186 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.186 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.186 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.186 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.186 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.186 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.186 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.186 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.186 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.186 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.186 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.187 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.187 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.187 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.187 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.187 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.187 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.188 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.188 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.188 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.188 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.188 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.188 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.188 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.188 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.188 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.188 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.188 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.188 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.188 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.188 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.188 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.188 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.188 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.188 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.188 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.188 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.189 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.189 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.189 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.189 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.189 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.189 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.189 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.189 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.189 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.189 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.189 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.189 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.189 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.189 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.189 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.189 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.189 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.189 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.189 * [taylor]: Taking taylor expansion of 0 in lambda2 8.189 * [taylor]: Taking taylor expansion of 0 in lambda2 8.189 * [taylor]: Taking taylor expansion of 0 in lambda2 8.190 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.190 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.190 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.190 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.190 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.190 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.190 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.190 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.190 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.190 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.190 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.190 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.190 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.190 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.190 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.190 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.190 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.190 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.190 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.190 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.190 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.190 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.190 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.190 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.190 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.191 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.191 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.191 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.191 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.191 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.191 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.191 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.191 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.191 * [taylor]: Taking taylor expansion of 0 in lambda2 8.191 * [taylor]: Taking taylor expansion of 0 in lambda2 8.191 * [taylor]: Taking taylor expansion of 0 in lambda2 8.191 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.191 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.191 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.191 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.191 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.191 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.191 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.191 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.192 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.192 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.192 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.192 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.192 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.192 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.192 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.192 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.192 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.192 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.192 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.192 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.192 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.192 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.192 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.192 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.193 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.193 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.193 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.193 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.193 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.193 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.193 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.193 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.193 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.193 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.193 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.193 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.193 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.194 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.194 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.194 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.194 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.194 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.194 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.194 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.194 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.194 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.194 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.194 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.194 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.194 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.194 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.194 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.194 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.194 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.194 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.194 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.194 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.194 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.194 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.194 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.194 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.194 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.195 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.195 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.195 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.195 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.195 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.195 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.195 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.195 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.195 * [taylor]: Taking taylor expansion of 0 in lambda2 8.195 * [taylor]: Taking taylor expansion of 0 in lambda2 8.195 * [taylor]: Taking taylor expansion of 0 in lambda2 8.195 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.195 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.195 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.195 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.195 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.195 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.195 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.195 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.195 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.196 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.196 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.196 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.196 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.196 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.196 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.196 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.196 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.196 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.196 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.196 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.196 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.196 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.196 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.196 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.196 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.196 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.196 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.196 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.196 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.196 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.196 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.197 * [taylor]: Taking taylor expansion of 0 in lambda2 8.197 * [taylor]: Taking taylor expansion of 0 in lambda2 8.197 * [taylor]: Taking taylor expansion of 0 in lambda2 8.197 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 8.197 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.197 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.197 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.197 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.197 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.197 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.197 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.197 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.197 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.197 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.197 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.197 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.197 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.197 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.197 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.197 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.197 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.198 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.198 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.198 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.198 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.198 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.198 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.198 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.198 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.198 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.198 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.199 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.199 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.199 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.199 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.199 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.199 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.199 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.199 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.199 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.199 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.199 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.199 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.199 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.199 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.199 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.199 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.200 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.200 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.200 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.200 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.200 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.200 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.200 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.200 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.200 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.200 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.200 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.200 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.200 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.200 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.200 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.200 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.200 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.200 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.200 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.200 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.200 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.200 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.200 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.200 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.200 * [taylor]: Taking taylor expansion of 0 in lambda2 8.201 * [taylor]: Taking taylor expansion of 0 in lambda2 8.201 * [taylor]: Taking taylor expansion of 0 in lambda2 8.201 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.201 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.201 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.201 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.201 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.201 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.201 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.201 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.201 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.201 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.201 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.201 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.201 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.201 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.201 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.201 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.201 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.201 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.202 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.202 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.202 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.202 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.202 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.202 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.202 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.202 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.202 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.202 * [taylor]: Taking taylor expansion of 0 in lambda2 8.202 * [taylor]: Taking taylor expansion of 0 in lambda2 8.202 * [taylor]: Taking taylor expansion of 0 in lambda2 8.202 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 8.202 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.203 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.203 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.203 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.203 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.203 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.203 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.203 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.203 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.203 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.203 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.203 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.203 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.203 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.203 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.203 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.203 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.203 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.203 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.203 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.203 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.204 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.204 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.204 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.204 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.204 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.204 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.204 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.204 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.204 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.204 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.204 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.204 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.204 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.205 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.205 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.205 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.205 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.205 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.205 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.205 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.205 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.205 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.205 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.205 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.205 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.205 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.205 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.205 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.206 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.206 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.206 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.206 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.206 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.206 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.206 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.206 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.206 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.206 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.206 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.206 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.206 * [taylor]: Taking taylor expansion of 0 in lambda2 8.206 * [taylor]: Taking taylor expansion of 0 in lambda2 8.206 * [taylor]: Taking taylor expansion of 0 in lambda2 8.206 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.206 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.206 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.206 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.207 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.207 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.207 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.207 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.207 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.207 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.207 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.207 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.207 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.207 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.207 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.207 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.207 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.207 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.207 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.207 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.207 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.207 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.207 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.207 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.207 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.207 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.208 * [taylor]: Taking taylor expansion of 0 in lambda2 8.208 * [taylor]: Taking taylor expansion of 0 in lambda2 8.208 * [taylor]: Taking taylor expansion of 0 in lambda2 8.208 * * * [progress]: simplifying candidates 8.209 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) 8.290 * * [simplify]: iteration 0 : 4832 enodes (cost 372 ) 8.290 * * [simplify]: iteration 1 : 4832 enodes (cost 372 ) 8.292 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) 8.293 * * * [progress]: adding candidates to table 8.449 * * [progress]: iteration 4 / 4 8.449 * * * [progress]: picking best candidate 8.573 * * * * [pick]: Picked # 8.573 * * * [progress]: localizing error 8.624 * * * [progress]: generating rewritten candidates 8.624 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2 2 1) 8.630 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 2 1) 8.636 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1 1) 8.642 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.648 * * * [progress]: generating series expansions 8.648 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2 2 1) 8.648 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.648 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.648 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.648 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.648 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.648 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.648 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.648 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.648 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.648 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.648 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.648 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.648 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.649 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.649 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.649 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.649 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.649 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.649 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.649 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.649 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.649 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.649 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.649 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.649 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.649 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.649 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.649 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.649 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.650 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.650 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.650 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.650 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.650 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.650 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.650 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.651 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.651 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.651 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.651 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.651 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.651 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.651 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.651 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.651 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.651 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.651 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.651 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.651 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.651 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.651 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.651 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.651 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.651 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.651 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.651 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.651 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.651 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.651 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.651 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.651 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.651 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.652 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.652 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.652 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.652 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.652 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.652 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.652 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.652 * [taylor]: Taking taylor expansion of 0 in lambda2 8.652 * [taylor]: Taking taylor expansion of 0 in lambda2 8.652 * [taylor]: Taking taylor expansion of 0 in lambda2 8.652 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.652 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.652 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.652 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.653 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.653 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.653 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.653 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.653 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.653 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.653 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.653 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.653 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.653 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.653 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.653 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.653 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.653 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.653 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.653 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.653 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.653 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.653 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.653 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.654 * [taylor]: Taking taylor expansion of 0 in lambda2 8.654 * [taylor]: Taking taylor expansion of 0 in lambda2 8.654 * [taylor]: Taking taylor expansion of 0 in lambda2 8.654 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 2 1) 8.654 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.654 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.654 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.654 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.654 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.654 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.654 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.654 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.654 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.654 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.654 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.654 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.654 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.654 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.654 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.654 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.654 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.655 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.655 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.655 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.655 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.655 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.655 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.655 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.655 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.655 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.655 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.655 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.655 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.656 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.656 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.656 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.656 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.656 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.656 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.656 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.656 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.656 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.656 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.656 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.656 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.656 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.657 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.657 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.657 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.657 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.657 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.657 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.657 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.657 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.657 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.657 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.657 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.657 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.657 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.657 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.657 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.657 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.657 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.657 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.657 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.657 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.657 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.657 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.657 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.657 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.657 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.657 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.657 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.658 * [taylor]: Taking taylor expansion of 0 in lambda2 8.658 * [taylor]: Taking taylor expansion of 0 in lambda2 8.658 * [taylor]: Taking taylor expansion of 0 in lambda2 8.658 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.658 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.658 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.658 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.658 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.658 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.658 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.658 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.658 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.658 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.658 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.658 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.658 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.658 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.658 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.658 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.658 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.659 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.659 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.659 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.659 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.659 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.659 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.659 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.659 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.659 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.659 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.659 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.659 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.659 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.659 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.659 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.659 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.659 * [taylor]: Taking taylor expansion of 0 in lambda2 8.659 * [taylor]: Taking taylor expansion of 0 in lambda2 8.659 * [taylor]: Taking taylor expansion of 0 in lambda2 8.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1 1) 8.660 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.660 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.660 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.660 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.660 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.660 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.660 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.660 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.660 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.660 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.660 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.660 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.660 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.660 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.660 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.660 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.660 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.660 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.660 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.660 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.660 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.660 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.660 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.663 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.663 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.663 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.663 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.663 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.663 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.663 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.663 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.663 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.663 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.664 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.664 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.664 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.664 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.664 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.664 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.664 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.664 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.664 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.664 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.664 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.664 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.664 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.664 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.664 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.664 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.664 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.664 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.664 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.664 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.665 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.665 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.665 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.665 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.665 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.665 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.665 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.665 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.665 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.665 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.665 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.665 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.665 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.665 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.665 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.665 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.665 * [taylor]: Taking taylor expansion of 0 in lambda2 8.665 * [taylor]: Taking taylor expansion of 0 in lambda2 8.665 * [taylor]: Taking taylor expansion of 0 in lambda2 8.666 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.666 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.666 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.666 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.666 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.666 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.666 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.666 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.666 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.666 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.666 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.666 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.666 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.666 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.666 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.666 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.666 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.666 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.666 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.666 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.666 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.666 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.666 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.666 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.666 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.666 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.666 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.666 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.667 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.667 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.667 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.667 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.667 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.667 * [taylor]: Taking taylor expansion of 0 in lambda2 8.667 * [taylor]: Taking taylor expansion of 0 in lambda2 8.667 * [taylor]: Taking taylor expansion of 0 in lambda2 8.667 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.667 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.667 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda2 8.667 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda2 8.667 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.667 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.667 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.667 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.667 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.667 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.667 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.667 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.667 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.668 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.668 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- lambda1 lambda2))) in lambda1 8.668 * [taylor]: Taking taylor expansion of (* 0.5 (- lambda1 lambda2)) in lambda1 8.668 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.668 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.668 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.668 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.668 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.668 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.668 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.668 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.668 * [taylor]: Taking taylor expansion of (* 0.5 (cos (* -0.5 lambda2))) in lambda2 8.668 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.668 * [taylor]: Taking taylor expansion of (cos (* -0.5 lambda2)) in lambda2 8.668 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.668 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.668 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.669 * [taylor]: Taking taylor expansion of (neg (* 0.125 (sin (* -0.5 lambda2)))) in lambda2 8.669 * [taylor]: Taking taylor expansion of (* 0.125 (sin (* -0.5 lambda2))) in lambda2 8.669 * [taylor]: Taking taylor expansion of 0.125 in lambda2 8.669 * [taylor]: Taking taylor expansion of (sin (* -0.5 lambda2)) in lambda2 8.669 * [taylor]: Taking taylor expansion of (* -0.5 lambda2) in lambda2 8.669 * [taylor]: Taking taylor expansion of -0.5 in lambda2 8.669 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.670 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.670 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.670 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.670 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.670 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.670 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.670 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.670 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.670 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.670 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.670 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.670 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.670 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.670 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.670 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.670 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.670 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.670 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.670 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.670 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.670 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.670 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.670 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.670 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.670 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.670 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.670 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.670 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.671 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.671 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.671 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.671 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.671 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.671 * [taylor]: Taking taylor expansion of 0 in lambda2 8.671 * [taylor]: Taking taylor expansion of 0 in lambda2 8.671 * [taylor]: Taking taylor expansion of 0 in lambda2 8.671 * [approximate]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.671 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.671 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.671 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.671 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.671 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.671 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.671 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.671 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.671 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.671 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.671 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.671 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.671 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.672 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.672 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.672 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.672 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.672 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.672 * [taylor]: Taking taylor expansion of 0.5 in lambda1 8.672 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.672 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.672 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.672 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.672 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.672 * [taylor]: Taking taylor expansion of (sin (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.672 * [taylor]: Taking taylor expansion of (* 0.5 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.672 * [taylor]: Taking taylor expansion of 0.5 in lambda2 8.672 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.672 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.672 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.672 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.672 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.672 * [taylor]: Taking taylor expansion of 0 in lambda2 8.672 * [taylor]: Taking taylor expansion of 0 in lambda2 8.672 * [taylor]: Taking taylor expansion of 0 in lambda2 8.673 * * * [progress]: simplifying candidates 8.673 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 0.5 lambda1) (*.f64 0.5 lambda2)) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 0.5 (-.f64 lambda1 lambda2))) 8.754 * * [simplify]: iteration 0 : 4832 enodes (cost 372 ) 8.754 * * [simplify]: iteration 1 : 4832 enodes (cost 372 ) 8.756 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (sin.f64 (/.f64 lambda1 2.0)) (cos.f64 (/.f64 lambda2 2.0))) (*.f64 (cos.f64 (/.f64 lambda1 2.0)) (sin.f64 (/.f64 lambda2 2.0))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0))) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (*.f64 (-.f64 lambda1 lambda2) 0.5) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 0.5)) 8.756 * * * [progress]: adding candidates to table 8.930 * [progress]: [Phase 3 of 3] Extracting. 8.930 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # #) 8.991 * * * [regime-changes]: Trying 8 branch expressions: ((-.f64 lambda1 lambda2) (/.f64 (-.f64 lambda1 lambda2) 2.0) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) phi2 phi1 lambda2 lambda1 R) 8.991 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # # # #) 9.185 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2.0) from (# # # # # # # # # # # # # # # # # # # # # #) 9.377 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2.0)) from (# # # # # # # # # # # # # # # # # # # # # #) 9.572 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # # # #) 9.764 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # # # #) 9.952 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # # # #) 10.141 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # # # #) 10.332 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # # # #) 10.522 * * * [regime]: Found split indices: #