33.969 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 7.135 * * * [progress]: [2/2] Setting up program. 7.146 * [progress]: [Phase 2 of 3] Improving. 7.146 * [simplify]: Simplifying using # : (*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))))) 7.304 * * [simplify]: iteration 0 : 4820 enodes (cost 103 ) 7.304 * * [simplify]: iteration 1 : 4820 enodes (cost 103 ) 7.305 * [simplify]: Simplified to: (*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))) 7.316 * * [progress]: iteration 1 / 4 7.316 * * * [progress]: picking best candidate 7.331 * * * * [pick]: Picked # 7.331 * * * [progress]: localizing error 7.381 * * * [progress]: generating rewritten candidates 7.381 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.386 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 7.391 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.396 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.402 * * * [progress]: generating series expansions 7.402 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.403 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.403 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.403 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.403 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.403 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.403 * [taylor]: Taking taylor expansion of phi1 in phi2 7.403 * [taylor]: Taking taylor expansion of phi2 in phi2 7.403 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.403 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.403 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.403 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.403 * [taylor]: Taking taylor expansion of phi1 in phi1 7.403 * [taylor]: Taking taylor expansion of phi2 in phi1 7.404 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.404 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.404 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.404 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.404 * [taylor]: Taking taylor expansion of phi1 in phi1 7.404 * [taylor]: Taking taylor expansion of phi2 in phi1 7.405 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.405 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.405 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.405 * [taylor]: Taking taylor expansion of phi2 in phi2 7.407 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.407 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.407 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.407 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.407 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.407 * [taylor]: Taking taylor expansion of phi2 in phi2 7.410 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.410 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.410 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.410 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.410 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.410 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.410 * [taylor]: Taking taylor expansion of phi2 in phi2 7.413 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.413 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.413 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.413 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.413 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.413 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.413 * [taylor]: Taking taylor expansion of phi2 in phi2 7.415 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.415 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.415 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.415 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.415 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.415 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.415 * [taylor]: Taking taylor expansion of phi1 in phi2 7.416 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.416 * [taylor]: Taking taylor expansion of phi2 in phi2 7.416 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.416 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.416 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.416 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.416 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.416 * [taylor]: Taking taylor expansion of phi1 in phi1 7.416 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.416 * [taylor]: Taking taylor expansion of phi2 in phi1 7.417 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.417 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.417 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.417 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.417 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.417 * [taylor]: Taking taylor expansion of phi1 in phi1 7.417 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.417 * [taylor]: Taking taylor expansion of phi2 in phi1 7.417 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.417 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.417 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.417 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.418 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.418 * [taylor]: Taking taylor expansion of phi1 in phi2 7.418 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.418 * [taylor]: Taking taylor expansion of phi2 in phi2 7.418 * [taylor]: Taking taylor expansion of 0 in phi2 7.419 * [taylor]: Taking taylor expansion of 0 in phi2 7.419 * [taylor]: Taking taylor expansion of 0 in phi2 7.420 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.420 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.420 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.420 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.420 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.420 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.420 * [taylor]: Taking taylor expansion of phi2 in phi2 7.420 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.420 * [taylor]: Taking taylor expansion of phi1 in phi2 7.420 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.420 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.420 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.420 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.420 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.420 * [taylor]: Taking taylor expansion of phi2 in phi1 7.420 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.421 * [taylor]: Taking taylor expansion of phi1 in phi1 7.421 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.421 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.421 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.421 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.421 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.421 * [taylor]: Taking taylor expansion of phi2 in phi1 7.421 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.421 * [taylor]: Taking taylor expansion of phi1 in phi1 7.422 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.422 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.422 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.422 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.422 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.422 * [taylor]: Taking taylor expansion of phi2 in phi2 7.422 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.422 * [taylor]: Taking taylor expansion of phi1 in phi2 7.423 * [taylor]: Taking taylor expansion of 0 in phi2 7.423 * [taylor]: Taking taylor expansion of 0 in phi2 7.423 * [taylor]: Taking taylor expansion of 0 in phi2 7.424 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 7.424 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.424 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.424 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.424 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.424 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.424 * [taylor]: Taking taylor expansion of phi1 in phi2 7.424 * [taylor]: Taking taylor expansion of phi2 in phi2 7.424 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.424 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.424 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.424 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.424 * [taylor]: Taking taylor expansion of phi1 in phi1 7.425 * [taylor]: Taking taylor expansion of phi2 in phi1 7.425 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.425 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.425 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.425 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.425 * [taylor]: Taking taylor expansion of phi1 in phi1 7.425 * [taylor]: Taking taylor expansion of phi2 in phi1 7.428 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.428 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.428 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.428 * [taylor]: Taking taylor expansion of phi2 in phi2 7.430 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.430 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.430 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.430 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.430 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.430 * [taylor]: Taking taylor expansion of phi2 in phi2 7.432 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.432 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.432 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.432 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.432 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.432 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.432 * [taylor]: Taking taylor expansion of phi2 in phi2 7.436 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.436 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.436 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.436 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.436 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.436 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.436 * [taylor]: Taking taylor expansion of phi2 in phi2 7.438 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.438 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.438 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.438 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.438 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.438 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.438 * [taylor]: Taking taylor expansion of phi1 in phi2 7.438 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.438 * [taylor]: Taking taylor expansion of phi2 in phi2 7.439 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.439 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.439 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.439 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.439 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.439 * [taylor]: Taking taylor expansion of phi1 in phi1 7.439 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.439 * [taylor]: Taking taylor expansion of phi2 in phi1 7.439 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.439 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.439 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.439 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.439 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.439 * [taylor]: Taking taylor expansion of phi1 in phi1 7.440 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.440 * [taylor]: Taking taylor expansion of phi2 in phi1 7.440 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.440 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.440 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.440 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.440 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.440 * [taylor]: Taking taylor expansion of phi1 in phi2 7.440 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.440 * [taylor]: Taking taylor expansion of phi2 in phi2 7.441 * [taylor]: Taking taylor expansion of 0 in phi2 7.441 * [taylor]: Taking taylor expansion of 0 in phi2 7.441 * [taylor]: Taking taylor expansion of 0 in phi2 7.443 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.443 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.443 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.443 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.443 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.443 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.443 * [taylor]: Taking taylor expansion of phi2 in phi2 7.443 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.443 * [taylor]: Taking taylor expansion of phi1 in phi2 7.443 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.443 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.443 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.444 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.444 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.444 * [taylor]: Taking taylor expansion of phi2 in phi1 7.444 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.444 * [taylor]: Taking taylor expansion of phi1 in phi1 7.444 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.444 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.444 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.444 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.444 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.444 * [taylor]: Taking taylor expansion of phi2 in phi1 7.444 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.444 * [taylor]: Taking taylor expansion of phi1 in phi1 7.445 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.445 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.445 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.445 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.445 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.445 * [taylor]: Taking taylor expansion of phi2 in phi2 7.445 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.445 * [taylor]: Taking taylor expansion of phi1 in phi2 7.446 * [taylor]: Taking taylor expansion of 0 in phi2 7.446 * [taylor]: Taking taylor expansion of 0 in phi2 7.446 * [taylor]: Taking taylor expansion of 0 in phi2 7.447 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.448 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.448 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.448 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.448 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.448 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.448 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.448 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.448 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.448 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.448 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.448 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.448 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.448 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.449 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.449 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.449 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.449 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.449 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.449 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.450 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.450 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.450 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.450 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.452 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.452 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.452 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.452 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.452 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.453 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.455 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.455 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.455 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.455 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.455 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.455 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.455 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.459 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.459 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.459 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.459 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.459 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.459 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.459 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.461 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.461 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.461 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.461 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.461 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.461 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.461 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.461 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.461 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.462 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.462 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.462 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.462 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.462 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.462 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.462 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.462 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.462 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.462 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.462 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.462 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.462 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.462 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.463 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.463 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.463 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.463 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.463 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.463 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.463 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.463 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.463 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.463 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.464 * [taylor]: Taking taylor expansion of 0 in lambda2 7.464 * [taylor]: Taking taylor expansion of 0 in lambda2 7.464 * [taylor]: Taking taylor expansion of 0 in lambda2 7.466 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.466 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.466 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.466 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.466 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.466 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.466 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.466 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.466 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.466 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.467 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.467 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.467 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.467 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.467 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.467 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.467 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.467 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.467 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.467 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.467 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.467 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.467 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.468 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.468 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.468 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.468 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.468 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.468 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.468 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.468 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.469 * [taylor]: Taking taylor expansion of 0 in lambda2 7.469 * [taylor]: Taking taylor expansion of 0 in lambda2 7.469 * [taylor]: Taking taylor expansion of 0 in lambda2 7.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.470 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.470 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.470 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.470 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.470 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.470 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.470 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.471 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.471 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.471 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.471 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.471 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.471 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.471 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.471 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.471 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.471 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.471 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.471 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.472 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.472 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.472 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.472 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.474 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.474 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.474 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.474 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.474 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.474 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.476 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.476 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.476 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.476 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.476 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.476 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.476 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.480 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.480 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.480 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.480 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.480 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.480 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.480 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.481 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.481 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.481 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.481 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.482 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.482 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.482 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.482 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.482 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.482 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.482 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.482 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.482 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.482 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.482 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.482 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.482 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.483 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.483 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.483 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.483 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.483 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.483 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.483 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.483 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.484 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.484 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.484 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.484 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.484 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.484 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.484 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.484 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.485 * [taylor]: Taking taylor expansion of 0 in lambda2 7.485 * [taylor]: Taking taylor expansion of 0 in lambda2 7.485 * [taylor]: Taking taylor expansion of 0 in lambda2 7.486 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.486 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.486 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.486 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.486 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.486 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.486 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.486 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.486 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.486 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.486 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.486 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.487 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.487 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.487 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.487 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.487 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.488 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.488 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.488 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.488 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.488 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.488 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.488 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.488 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.489 * [taylor]: Taking taylor expansion of 0 in lambda2 7.489 * [taylor]: Taking taylor expansion of 0 in lambda2 7.489 * [taylor]: Taking taylor expansion of 0 in lambda2 7.490 * * * [progress]: simplifying candidates 7.490 * [simplify]: Simplifying using # : (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (*.f64 1/2 phi1) (+.f64 (*.f64 1/2 phi2) (*.f64 1/48 (pow.f64 phi1 3)))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (-.f64 (*.f64 1/2 phi1) (+.f64 (*.f64 1/2 phi2) (*.f64 1/48 (pow.f64 phi1 3)))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 7.565 * * [simplify]: iteration 0 : 5313 enodes (cost 612 ) 7.569 * [simplify]: Simplified to: (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (/.f64 (-.f64 phi1 phi2) 2) (*.f64 1/48 (pow.f64 phi1 3))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (-.f64 (/.f64 (-.f64 phi1 phi2) 2) (*.f64 1/48 (pow.f64 phi1 3))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 7.570 * * * [progress]: adding candidates to table 7.850 * * [progress]: iteration 2 / 4 7.850 * * * [progress]: picking best candidate 7.988 * * * * [pick]: Picked # 7.988 * * * [progress]: localizing error 8.069 * * * [progress]: generating rewritten candidates 8.069 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 8.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.079 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.085 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.090 * * * [progress]: generating series expansions 8.090 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 8.091 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 8.091 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 8.091 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 8.091 * [taylor]: Taking taylor expansion of 1/2 in phi2 8.091 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 8.091 * [taylor]: Taking taylor expansion of phi1 in phi2 8.091 * [taylor]: Taking taylor expansion of phi2 in phi2 8.092 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 8.092 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 8.092 * [taylor]: Taking taylor expansion of 1/2 in phi1 8.092 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 8.092 * [taylor]: Taking taylor expansion of phi1 in phi1 8.092 * [taylor]: Taking taylor expansion of phi2 in phi1 8.092 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 8.092 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 8.092 * [taylor]: Taking taylor expansion of 1/2 in phi1 8.092 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 8.092 * [taylor]: Taking taylor expansion of phi1 in phi1 8.092 * [taylor]: Taking taylor expansion of phi2 in phi1 8.094 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 8.094 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 8.094 * [taylor]: Taking taylor expansion of -1/2 in phi2 8.094 * [taylor]: Taking taylor expansion of phi2 in phi2 8.095 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 8.095 * [taylor]: Taking taylor expansion of 1/2 in phi2 8.095 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 8.095 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 8.095 * [taylor]: Taking taylor expansion of -1/2 in phi2 8.095 * [taylor]: Taking taylor expansion of phi2 in phi2 8.098 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 8.098 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 8.098 * [taylor]: Taking taylor expansion of 1/8 in phi2 8.098 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 8.098 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 8.098 * [taylor]: Taking taylor expansion of -1/2 in phi2 8.098 * [taylor]: Taking taylor expansion of phi2 in phi2 8.101 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 8.102 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 8.102 * [taylor]: Taking taylor expansion of 1/48 in phi2 8.102 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 8.102 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 8.102 * [taylor]: Taking taylor expansion of -1/2 in phi2 8.102 * [taylor]: Taking taylor expansion of phi2 in phi2 8.103 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 8.103 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 8.103 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 8.103 * [taylor]: Taking taylor expansion of 1/2 in phi2 8.103 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 8.103 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 8.103 * [taylor]: Taking taylor expansion of phi1 in phi2 8.103 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 8.103 * [taylor]: Taking taylor expansion of phi2 in phi2 8.104 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 8.104 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 8.104 * [taylor]: Taking taylor expansion of 1/2 in phi1 8.104 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 8.104 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 8.104 * [taylor]: Taking taylor expansion of phi1 in phi1 8.104 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 8.104 * [taylor]: Taking taylor expansion of phi2 in phi1 8.105 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 8.105 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 8.105 * [taylor]: Taking taylor expansion of 1/2 in phi1 8.105 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 8.105 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 8.105 * [taylor]: Taking taylor expansion of phi1 in phi1 8.105 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 8.105 * [taylor]: Taking taylor expansion of phi2 in phi1 8.105 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 8.105 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 8.105 * [taylor]: Taking taylor expansion of 1/2 in phi2 8.105 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 8.105 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 8.105 * [taylor]: Taking taylor expansion of phi1 in phi2 8.105 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 8.105 * [taylor]: Taking taylor expansion of phi2 in phi2 8.106 * [taylor]: Taking taylor expansion of 0 in phi2 8.106 * [taylor]: Taking taylor expansion of 0 in phi2 8.106 * [taylor]: Taking taylor expansion of 0 in phi2 8.107 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 8.107 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 8.107 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 8.107 * [taylor]: Taking taylor expansion of 1/2 in phi2 8.107 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 8.107 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 8.107 * [taylor]: Taking taylor expansion of phi2 in phi2 8.108 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 8.108 * [taylor]: Taking taylor expansion of phi1 in phi2 8.108 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 8.108 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 8.108 * [taylor]: Taking taylor expansion of 1/2 in phi1 8.108 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 8.108 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 8.108 * [taylor]: Taking taylor expansion of phi2 in phi1 8.108 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 8.108 * [taylor]: Taking taylor expansion of phi1 in phi1 8.109 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 8.109 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 8.109 * [taylor]: Taking taylor expansion of 1/2 in phi1 8.109 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 8.109 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 8.109 * [taylor]: Taking taylor expansion of phi2 in phi1 8.109 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 8.109 * [taylor]: Taking taylor expansion of phi1 in phi1 8.109 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 8.110 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 8.110 * [taylor]: Taking taylor expansion of 1/2 in phi2 8.110 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 8.110 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 8.110 * [taylor]: Taking taylor expansion of phi2 in phi2 8.110 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 8.110 * [taylor]: Taking taylor expansion of phi1 in phi2 8.110 * [taylor]: Taking taylor expansion of 0 in phi2 8.110 * [taylor]: Taking taylor expansion of 0 in phi2 8.111 * [taylor]: Taking taylor expansion of 0 in phi2 8.111 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.112 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.112 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.112 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.112 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.112 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.112 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.112 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.112 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.112 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.112 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.112 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.112 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.112 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.113 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.113 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.113 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.113 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.113 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.113 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.114 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.114 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.114 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.114 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.115 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.115 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.115 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.115 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.115 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.115 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.118 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.118 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.118 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.118 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.118 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.118 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.118 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.121 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.121 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.121 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.121 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.121 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.121 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.121 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.123 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.123 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.123 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.123 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.123 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.123 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.123 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.123 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.123 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.123 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.123 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.124 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.124 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.124 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.124 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.124 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.124 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.124 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.124 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.125 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.125 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.125 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.125 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.125 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.125 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.125 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.125 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.126 * [taylor]: Taking taylor expansion of 0 in lambda2 8.126 * [taylor]: Taking taylor expansion of 0 in lambda2 8.126 * [taylor]: Taking taylor expansion of 0 in lambda2 8.127 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.127 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.127 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.127 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.127 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.127 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.127 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.127 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.127 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.127 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.128 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.128 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.128 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.128 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.128 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.129 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.129 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.129 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.129 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.129 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.129 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.129 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.129 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.130 * [taylor]: Taking taylor expansion of 0 in lambda2 8.130 * [taylor]: Taking taylor expansion of 0 in lambda2 8.130 * [taylor]: Taking taylor expansion of 0 in lambda2 8.131 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.131 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.131 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.131 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.131 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.131 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.131 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.131 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.131 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.132 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.132 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.132 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.132 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.132 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.132 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.132 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.133 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.133 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.133 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.133 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.135 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.135 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.135 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.135 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.135 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.135 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.137 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.137 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.137 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.137 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.137 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.137 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.137 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.140 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.140 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.140 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.140 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.140 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.140 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.140 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.142 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.142 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.142 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.142 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.142 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.142 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.142 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.142 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.142 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.143 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.143 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.143 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.143 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.143 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.143 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.143 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.143 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.143 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.143 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.143 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.144 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.144 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.144 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.144 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.144 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.144 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.144 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.144 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.144 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.144 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.145 * [taylor]: Taking taylor expansion of 0 in lambda2 8.145 * [taylor]: Taking taylor expansion of 0 in lambda2 8.145 * [taylor]: Taking taylor expansion of 0 in lambda2 8.146 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.146 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.146 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.146 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.146 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.146 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.146 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.146 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.147 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.147 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.147 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.147 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.147 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.147 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.147 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.147 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.147 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.148 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.148 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.148 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.148 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.148 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.148 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.148 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.148 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.149 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.149 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.149 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.149 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.149 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.149 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.150 * [taylor]: Taking taylor expansion of 0 in lambda2 8.150 * [taylor]: Taking taylor expansion of 0 in lambda2 8.150 * [taylor]: Taking taylor expansion of 0 in lambda2 8.151 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 8.151 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.151 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.151 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.151 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.151 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.151 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.151 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.152 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.152 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.152 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.152 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.152 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.152 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.152 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.152 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.153 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.154 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.154 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.154 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.155 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.155 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.155 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.155 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.155 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.155 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.157 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.158 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.158 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.158 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.158 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.158 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.158 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.161 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.161 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.161 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.161 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.161 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.161 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.161 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.163 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.163 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.163 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.163 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.163 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.163 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.163 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.164 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.164 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.164 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.164 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.164 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.164 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.164 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.164 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.164 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.164 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.165 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.165 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.165 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.165 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.165 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.165 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.165 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.165 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.165 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.165 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.165 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.165 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.165 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.166 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.166 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.166 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.166 * [taylor]: Taking taylor expansion of 0 in lambda2 8.166 * [taylor]: Taking taylor expansion of 0 in lambda2 8.167 * [taylor]: Taking taylor expansion of 0 in lambda2 8.168 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.168 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.168 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.168 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.168 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.168 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.168 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.168 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.168 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.168 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.168 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.168 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.168 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.168 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.168 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.168 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.168 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.169 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.169 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.169 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.169 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.169 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.169 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.169 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.169 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.170 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.170 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.170 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.170 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.170 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.170 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.170 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.170 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.171 * [taylor]: Taking taylor expansion of 0 in lambda2 8.171 * [taylor]: Taking taylor expansion of 0 in lambda2 8.171 * [taylor]: Taking taylor expansion of 0 in lambda2 8.171 * * * [progress]: simplifying candidates 8.172 * [simplify]: Simplifying using # : (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (*.f64 1/2 phi1) (+.f64 (*.f64 1/2 phi2) (*.f64 1/48 (pow.f64 phi1 3)))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 8.251 * * [simplify]: iteration 0 : 5313 enodes (cost 612 ) 8.255 * [simplify]: Simplified to: (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (/.f64 (-.f64 phi1 phi2) 2) (*.f64 1/48 (pow.f64 phi1 3))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 8.255 * * * [progress]: adding candidates to table 8.552 * * [progress]: iteration 3 / 4 8.552 * * * [progress]: picking best candidate 8.760 * * * * [pick]: Picked # 8.760 * * * [progress]: localizing error 8.829 * * * [progress]: generating rewritten candidates 8.829 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.840 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.845 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 8.851 * * * [progress]: generating series expansions 8.851 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.851 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.851 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.851 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.852 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.852 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.852 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.852 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.852 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.852 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.852 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.852 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.852 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.852 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.853 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.853 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.853 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.853 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.853 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.853 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.854 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.854 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.854 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.854 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.856 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.856 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.856 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.856 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.856 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.856 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.858 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.858 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.858 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.858 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.858 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.858 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.858 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.866 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.866 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.866 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.866 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.866 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.866 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.866 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.868 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.868 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.868 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.868 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.868 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.868 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.868 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.868 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.868 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.869 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.869 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.869 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.869 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.869 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.869 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.869 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.869 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.869 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.869 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.869 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.869 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.869 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.869 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.870 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.870 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.870 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.870 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.870 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.870 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.870 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.870 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.870 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.870 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.871 * [taylor]: Taking taylor expansion of 0 in lambda2 8.871 * [taylor]: Taking taylor expansion of 0 in lambda2 8.871 * [taylor]: Taking taylor expansion of 0 in lambda2 8.872 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.872 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.872 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.872 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.872 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.872 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.872 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.872 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.872 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.873 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.873 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.873 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.873 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.873 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.873 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.873 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.873 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.874 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.874 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.874 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.874 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.874 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.874 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.874 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.874 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.874 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.874 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.874 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.874 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.874 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.874 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.874 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.874 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.875 * [taylor]: Taking taylor expansion of 0 in lambda2 8.875 * [taylor]: Taking taylor expansion of 0 in lambda2 8.875 * [taylor]: Taking taylor expansion of 0 in lambda2 8.876 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.876 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.877 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.877 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.877 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.877 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.877 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.877 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.877 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.877 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.877 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.877 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.877 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.877 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.878 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.878 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.878 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.878 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.878 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.878 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.879 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.879 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.879 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.879 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.881 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.881 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.881 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.881 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.881 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.881 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.883 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.883 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.883 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.883 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.883 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.883 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.883 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.887 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.887 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.887 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.887 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.887 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.887 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.887 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.888 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.889 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.889 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.889 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.889 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.889 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.889 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.889 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.889 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.889 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.889 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.889 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.889 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.889 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.889 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.890 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.890 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.890 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.890 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.890 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.890 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.890 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.890 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.890 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.890 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.891 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.891 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.891 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.891 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.891 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.891 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.891 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.891 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.892 * [taylor]: Taking taylor expansion of 0 in lambda2 8.892 * [taylor]: Taking taylor expansion of 0 in lambda2 8.892 * [taylor]: Taking taylor expansion of 0 in lambda2 8.893 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.893 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.893 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.893 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.893 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.894 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.894 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.894 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.894 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.894 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.894 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.894 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.894 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.894 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.894 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.894 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.894 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.895 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.895 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.895 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.895 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.895 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.895 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.895 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.895 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.896 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.896 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.896 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.896 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.896 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.896 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.896 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.896 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.897 * [taylor]: Taking taylor expansion of 0 in lambda2 8.897 * [taylor]: Taking taylor expansion of 0 in lambda2 8.897 * [taylor]: Taking taylor expansion of 0 in lambda2 8.898 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 8.898 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.898 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.898 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.898 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.898 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.898 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.898 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.899 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.899 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.899 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.899 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.899 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.899 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.900 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.900 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.900 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.900 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.900 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.900 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.901 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.901 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.901 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.901 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.902 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.902 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.902 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.902 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.902 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.903 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.905 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.905 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.905 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.905 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.905 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.905 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.905 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.908 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.908 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.908 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.909 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.909 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.909 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.909 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.910 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.910 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.910 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.910 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.910 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.910 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.910 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.911 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.911 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.911 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.911 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.911 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.911 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.911 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.911 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.912 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.912 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.912 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.912 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.912 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.912 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.912 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.912 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.912 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.912 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.912 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.913 * [taylor]: Taking taylor expansion of 0 in lambda2 8.913 * [taylor]: Taking taylor expansion of 0 in lambda2 8.913 * [taylor]: Taking taylor expansion of 0 in lambda2 8.914 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.914 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.914 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.914 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.914 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.914 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.914 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.914 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.915 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.915 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.915 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.915 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.915 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.915 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.915 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.915 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.916 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.916 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.916 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.916 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.916 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.916 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.916 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.916 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.916 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.916 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.916 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.916 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.916 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.916 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.916 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.916 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.917 * [taylor]: Taking taylor expansion of 0 in lambda2 8.917 * [taylor]: Taking taylor expansion of 0 in lambda2 8.917 * [taylor]: Taking taylor expansion of 0 in lambda2 8.918 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 8.919 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.919 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.919 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.919 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.919 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.919 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.919 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.919 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.919 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.919 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.919 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.919 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.919 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.920 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.920 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.920 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.920 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.920 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.921 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.921 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.921 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.923 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.923 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.923 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.923 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.923 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.923 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.925 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.925 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.925 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.925 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.925 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.925 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.925 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.929 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.929 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.929 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.929 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.929 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.929 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.929 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.931 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.931 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.931 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.931 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.931 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.931 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.931 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.931 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.931 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.931 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.931 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.931 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.932 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.932 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.932 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.932 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.932 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.932 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.932 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.932 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.932 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.932 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.932 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.932 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.932 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.933 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.933 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.933 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.933 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.933 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.933 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.933 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.933 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.934 * [taylor]: Taking taylor expansion of 0 in lambda2 8.934 * [taylor]: Taking taylor expansion of 0 in lambda2 8.934 * [taylor]: Taking taylor expansion of 0 in lambda2 8.936 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.936 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.936 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.936 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.936 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.936 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.936 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.936 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.936 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.936 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.936 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.936 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.936 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.936 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.936 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.937 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.937 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.937 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.937 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.937 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.937 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.937 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.937 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.937 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.937 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.938 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.938 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.938 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.938 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.938 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.938 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.938 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.938 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.939 * [taylor]: Taking taylor expansion of 0 in lambda2 8.939 * [taylor]: Taking taylor expansion of 0 in lambda2 8.939 * [taylor]: Taking taylor expansion of 0 in lambda2 8.940 * * * [progress]: simplifying candidates 8.941 * [simplify]: Simplifying using # : (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 9.116 * * [simplify]: iteration 0 : 5052 enodes (cost 612 ) 9.120 * [simplify]: Simplified to: (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 9.120 * * * [progress]: adding candidates to table 9.451 * * [progress]: iteration 4 / 4 9.451 * * * [progress]: picking best candidate 9.701 * * * * [pick]: Picked # 9.701 * * * [progress]: localizing error 9.778 * * * [progress]: generating rewritten candidates 9.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 9.784 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 9.789 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 9.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 9.800 * * * [progress]: generating series expansions 9.800 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 9.801 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.801 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 9.801 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 9.801 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.801 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.801 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.801 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.802 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.802 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.802 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.802 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.802 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.802 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.803 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.803 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.803 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.803 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.803 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.803 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.804 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.804 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.804 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.804 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.806 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 9.806 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.806 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.806 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.806 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.806 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.809 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 9.809 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 9.809 * [taylor]: Taking taylor expansion of 1/8 in lambda2 9.809 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.809 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.809 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.809 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.812 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 9.812 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 9.812 * [taylor]: Taking taylor expansion of 1/48 in lambda2 9.812 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.813 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.813 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.813 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.815 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.815 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.815 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.815 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.815 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.815 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.815 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.815 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.815 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.815 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.815 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.816 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.816 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.816 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.816 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.816 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.816 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.816 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.816 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.816 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.816 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.816 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.816 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.816 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.816 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.817 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.817 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.817 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.817 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.817 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.817 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.817 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.817 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.818 * [taylor]: Taking taylor expansion of 0 in lambda2 9.818 * [taylor]: Taking taylor expansion of 0 in lambda2 9.818 * [taylor]: Taking taylor expansion of 0 in lambda2 9.820 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.820 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.820 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.820 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.820 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.820 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.820 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.821 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.821 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.821 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.821 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.821 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.821 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.821 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.821 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.821 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.821 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.821 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.822 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.822 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.822 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.822 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.822 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.822 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.822 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.822 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.822 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.822 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.822 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.822 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.822 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.823 * [taylor]: Taking taylor expansion of 0 in lambda2 9.823 * [taylor]: Taking taylor expansion of 0 in lambda2 9.823 * [taylor]: Taking taylor expansion of 0 in lambda2 9.824 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 9.824 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 9.824 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 9.824 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.824 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.824 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.824 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.825 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.825 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.825 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.825 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.825 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.825 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.825 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.825 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.825 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.825 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.826 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.826 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.826 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.827 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.827 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.827 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.828 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 9.828 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.828 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.828 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.828 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.828 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.830 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 9.831 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 9.831 * [taylor]: Taking taylor expansion of 1/8 in lambda2 9.831 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.831 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.831 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.831 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.834 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 9.834 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 9.834 * [taylor]: Taking taylor expansion of 1/48 in lambda2 9.834 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.834 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.834 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.834 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.836 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.836 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.836 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.836 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.836 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.836 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.836 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.836 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.836 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.836 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.836 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.836 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.836 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.836 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.836 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.837 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.837 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.837 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.837 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.838 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.838 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.838 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.838 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.838 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.838 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.838 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.839 * [taylor]: Taking taylor expansion of 0 in lambda2 9.839 * [taylor]: Taking taylor expansion of 0 in lambda2 9.839 * [taylor]: Taking taylor expansion of 0 in lambda2 9.840 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.840 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.840 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.840 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.840 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.840 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.840 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.840 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.841 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.841 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.841 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.841 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.841 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.841 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.841 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.841 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.841 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.841 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.841 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.841 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.841 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.842 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.842 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.842 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.842 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.842 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.842 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.842 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.842 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.842 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.842 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.842 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.843 * [taylor]: Taking taylor expansion of 0 in lambda2 9.843 * [taylor]: Taking taylor expansion of 0 in lambda2 9.843 * [taylor]: Taking taylor expansion of 0 in lambda2 9.844 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 9.844 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.844 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 9.844 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 9.844 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.844 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.844 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.844 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.845 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.845 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.845 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.845 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.845 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.845 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.845 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.845 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.845 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.845 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.845 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.845 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.846 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.847 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.847 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.847 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.848 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 9.848 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.848 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.848 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.848 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.848 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.851 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 9.851 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 9.851 * [taylor]: Taking taylor expansion of 1/8 in lambda2 9.851 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.851 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.851 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.851 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.854 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 9.854 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 9.854 * [taylor]: Taking taylor expansion of 1/48 in lambda2 9.854 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.854 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.854 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.854 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.860 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.860 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.860 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.860 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.860 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.860 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.860 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.860 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.860 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.860 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.860 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.860 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.860 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.860 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.860 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.861 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.861 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.861 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.861 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.861 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.861 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.861 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.861 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.861 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.861 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.862 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.862 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.862 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.862 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.862 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.862 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.862 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.862 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.863 * [taylor]: Taking taylor expansion of 0 in lambda2 9.863 * [taylor]: Taking taylor expansion of 0 in lambda2 9.863 * [taylor]: Taking taylor expansion of 0 in lambda2 9.864 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.864 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.864 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.864 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.864 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.864 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.864 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.864 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.864 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.865 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.865 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.865 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.865 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.865 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.865 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.865 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.865 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.865 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.865 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.865 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.865 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.865 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.865 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.865 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.866 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.866 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.866 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.866 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.866 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.866 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.866 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.866 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.866 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.867 * [taylor]: Taking taylor expansion of 0 in lambda2 9.867 * [taylor]: Taking taylor expansion of 0 in lambda2 9.867 * [taylor]: Taking taylor expansion of 0 in lambda2 9.868 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 9.868 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 9.868 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 9.868 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 9.868 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.868 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 9.868 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.868 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.869 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.869 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.869 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.869 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.869 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.869 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.869 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 9.869 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 9.869 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.869 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 9.869 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.869 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.871 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.871 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.871 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.871 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.872 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 9.872 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.872 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.872 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.872 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.872 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.875 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 9.875 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 9.875 * [taylor]: Taking taylor expansion of 1/8 in lambda2 9.875 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 9.875 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.875 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.875 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.878 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 9.878 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 9.878 * [taylor]: Taking taylor expansion of 1/48 in lambda2 9.878 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 9.878 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 9.878 * [taylor]: Taking taylor expansion of -1/2 in lambda2 9.878 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.880 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 9.880 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.880 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.880 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.880 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.880 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.880 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.880 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.880 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.881 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.881 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.881 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.881 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.881 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.881 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.881 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.881 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.881 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 9.881 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 9.881 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.881 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 9.881 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.881 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.881 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.881 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.882 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 9.882 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 9.882 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.882 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 9.882 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.882 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.882 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.882 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.883 * [taylor]: Taking taylor expansion of 0 in lambda2 9.883 * [taylor]: Taking taylor expansion of 0 in lambda2 9.883 * [taylor]: Taking taylor expansion of 0 in lambda2 9.884 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 9.884 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.884 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.884 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.884 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.884 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.884 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.884 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.884 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.885 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.885 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.885 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.885 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.885 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.885 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.885 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.885 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.886 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 9.886 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 9.886 * [taylor]: Taking taylor expansion of 1/2 in lambda1 9.886 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 9.886 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 9.886 * [taylor]: Taking taylor expansion of lambda2 in lambda1 9.886 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 9.886 * [taylor]: Taking taylor expansion of lambda1 in lambda1 9.886 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 9.886 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 9.886 * [taylor]: Taking taylor expansion of 1/2 in lambda2 9.886 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 9.887 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 9.887 * [taylor]: Taking taylor expansion of lambda2 in lambda2 9.887 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 9.887 * [taylor]: Taking taylor expansion of lambda1 in lambda2 9.887 * [taylor]: Taking taylor expansion of 0 in lambda2 9.887 * [taylor]: Taking taylor expansion of 0 in lambda2 9.887 * [taylor]: Taking taylor expansion of 0 in lambda2 9.888 * * * [progress]: simplifying candidates 9.889 * [simplify]: Simplifying using # : (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (log.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 9.979 * * [simplify]: iteration 0 : 5419 enodes (cost 809 ) 9.984 * [simplify]: Simplified to: (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3/2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3/2)) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 9.985 * * * [progress]: adding candidates to table 10.351 * [progress]: [Phase 3 of 3] Extracting. 10.351 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # # # #) 10.426 * * * [regime-changes]: Trying 8 branch expressions: ((-.f64 lambda1 lambda2) (/.f64 (-.f64 lambda1 lambda2) 2) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) phi2 phi1 lambda2 lambda1 R) 10.426 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # # # # # #) 10.785 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # # # # # # # # # # # #) 11.147 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # # # # # # # # # # # #) 11.519 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # # # # # #) 11.888 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # # # # # #) 12.253 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # # # # # #) 12.842 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # # # # # #) 13.215 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # # # # # #) 13.588 * * * [regime]: Found split indices: #