23.386 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 7.191 * * * [progress]: [2/2] Setting up program. 7.196 * [progress]: [Phase 2 of 3] Improving. 7.197 * [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.330 * * [simplify]: iteration 0 : 4810 enodes (cost 103 ) 7.330 * * [simplify]: iteration 1 : 4810 enodes (cost 103 ) 7.335 * [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.340 * * [progress]: iteration 1 / 4 7.340 * * * [progress]: picking best candidate 7.344 * * * * [pick]: Picked # 7.344 * * * [progress]: localizing error 7.378 * * * [progress]: generating rewritten candidates 7.378 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.384 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 7.389 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.395 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.401 * * * [progress]: generating series expansions 7.401 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.401 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.401 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.401 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.401 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.401 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.401 * [taylor]: Taking taylor expansion of phi1 in phi2 7.401 * [taylor]: Taking taylor expansion of phi2 in phi2 7.401 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.401 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.401 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.401 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.401 * [taylor]: Taking taylor expansion of phi1 in phi1 7.401 * [taylor]: Taking taylor expansion of phi2 in phi1 7.402 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.402 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.402 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.402 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.402 * [taylor]: Taking taylor expansion of phi1 in phi1 7.402 * [taylor]: Taking taylor expansion of phi2 in phi1 7.402 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.402 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.402 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.402 * [taylor]: Taking taylor expansion of phi2 in phi2 7.402 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.402 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.402 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.402 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.402 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.402 * [taylor]: Taking taylor expansion of phi2 in phi2 7.403 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.403 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.403 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.403 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.403 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.403 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.403 * [taylor]: Taking taylor expansion of phi2 in phi2 7.404 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.404 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.404 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.404 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.404 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.404 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.404 * [taylor]: Taking taylor expansion of phi2 in phi2 7.404 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.404 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.404 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.404 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.404 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.404 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.404 * [taylor]: Taking taylor expansion of phi1 in phi2 7.404 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.404 * [taylor]: Taking taylor expansion of phi2 in phi2 7.404 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.404 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.404 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.404 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.404 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.404 * [taylor]: Taking taylor expansion of phi1 in phi1 7.404 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.404 * [taylor]: Taking taylor expansion of phi2 in phi1 7.405 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.405 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.405 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.405 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.405 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.405 * [taylor]: Taking taylor expansion of phi1 in phi1 7.405 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.405 * [taylor]: Taking taylor expansion of phi2 in phi1 7.405 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.405 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.405 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.405 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.405 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.405 * [taylor]: Taking taylor expansion of phi1 in phi2 7.405 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.405 * [taylor]: Taking taylor expansion of phi2 in phi2 7.405 * [taylor]: Taking taylor expansion of 0 in phi2 7.405 * [taylor]: Taking taylor expansion of 0 in phi2 7.405 * [taylor]: Taking taylor expansion of 0 in phi2 7.405 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.405 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.405 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.405 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.406 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.406 * [taylor]: Taking taylor expansion of phi2 in phi2 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.406 * [taylor]: Taking taylor expansion of phi1 in phi2 7.406 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.406 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.406 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.406 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.406 * [taylor]: Taking taylor expansion of phi2 in phi1 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.406 * [taylor]: Taking taylor expansion of phi1 in phi1 7.406 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.406 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.406 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.406 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.406 * [taylor]: Taking taylor expansion of phi2 in phi1 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.406 * [taylor]: Taking taylor expansion of phi1 in phi1 7.406 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.406 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.406 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.406 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.406 * [taylor]: Taking taylor expansion of phi2 in phi2 7.406 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.406 * [taylor]: Taking taylor expansion of phi1 in phi2 7.407 * [taylor]: Taking taylor expansion of 0 in phi2 7.407 * [taylor]: Taking taylor expansion of 0 in phi2 7.407 * [taylor]: Taking taylor expansion of 0 in phi2 7.407 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 7.407 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.407 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.407 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.407 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.407 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.407 * [taylor]: Taking taylor expansion of phi1 in phi2 7.407 * [taylor]: Taking taylor expansion of phi2 in phi2 7.407 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.407 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.407 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.407 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.407 * [taylor]: Taking taylor expansion of phi1 in phi1 7.407 * [taylor]: Taking taylor expansion of phi2 in phi1 7.407 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.407 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.407 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.407 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.407 * [taylor]: Taking taylor expansion of phi1 in phi1 7.407 * [taylor]: Taking taylor expansion of phi2 in phi1 7.408 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.408 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.408 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.408 * [taylor]: Taking taylor expansion of phi2 in phi2 7.408 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.408 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.408 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.408 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.408 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.408 * [taylor]: Taking taylor expansion of phi2 in phi2 7.408 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.409 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.409 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.409 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.409 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.409 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.409 * [taylor]: Taking taylor expansion of phi2 in phi2 7.409 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.409 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.409 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.409 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.409 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.409 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.409 * [taylor]: Taking taylor expansion of phi2 in phi2 7.410 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.410 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.410 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.410 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.410 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.410 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.410 * [taylor]: Taking taylor expansion of phi1 in phi2 7.410 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.410 * [taylor]: Taking taylor expansion of phi2 in phi2 7.410 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.410 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.410 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.410 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.410 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.410 * [taylor]: Taking taylor expansion of phi1 in phi1 7.410 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.410 * [taylor]: Taking taylor expansion of phi2 in phi1 7.410 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.410 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.410 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.410 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.410 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.410 * [taylor]: Taking taylor expansion of phi1 in phi1 7.410 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.410 * [taylor]: Taking taylor expansion of phi2 in phi1 7.410 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.410 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.411 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.411 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.411 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.411 * [taylor]: Taking taylor expansion of phi1 in phi2 7.411 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.411 * [taylor]: Taking taylor expansion of phi2 in phi2 7.411 * [taylor]: Taking taylor expansion of 0 in phi2 7.411 * [taylor]: Taking taylor expansion of 0 in phi2 7.411 * [taylor]: Taking taylor expansion of 0 in phi2 7.411 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.411 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.411 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.411 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.411 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.411 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.411 * [taylor]: Taking taylor expansion of phi2 in phi2 7.411 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.411 * [taylor]: Taking taylor expansion of phi1 in phi2 7.411 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.411 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.411 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.411 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.411 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.411 * [taylor]: Taking taylor expansion of phi2 in phi1 7.411 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.412 * [taylor]: Taking taylor expansion of phi1 in phi1 7.412 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.412 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.412 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.412 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.412 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.412 * [taylor]: Taking taylor expansion of phi2 in phi1 7.412 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.412 * [taylor]: Taking taylor expansion of phi1 in phi1 7.412 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.412 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.412 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.412 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.412 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.412 * [taylor]: Taking taylor expansion of phi2 in phi2 7.412 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.412 * [taylor]: Taking taylor expansion of phi1 in phi2 7.412 * [taylor]: Taking taylor expansion of 0 in phi2 7.412 * [taylor]: Taking taylor expansion of 0 in phi2 7.412 * [taylor]: Taking taylor expansion of 0 in phi2 7.412 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.413 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.413 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.413 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.413 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.413 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.413 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.413 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.413 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.413 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.413 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.413 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.413 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.413 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.413 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.413 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.413 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.413 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.413 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.413 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.413 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.413 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.413 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.413 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.414 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.414 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.414 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.414 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.414 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.414 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.414 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.414 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.414 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.414 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.414 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.414 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.414 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.415 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.415 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.415 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.415 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.415 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.415 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.415 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.415 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.415 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.415 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.415 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.415 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.415 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.415 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.415 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.415 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.416 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.416 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.416 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.416 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.416 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.416 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.416 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.416 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.416 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.416 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.416 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.416 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.416 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.416 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.416 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.416 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.416 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.416 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.416 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.416 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.416 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.416 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.416 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.416 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.416 * [taylor]: Taking taylor expansion of 0 in lambda2 7.417 * [taylor]: Taking taylor expansion of 0 in lambda2 7.417 * [taylor]: Taking taylor expansion of 0 in lambda2 7.417 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.417 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.417 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.417 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.417 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.417 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.417 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.417 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.417 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.417 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.417 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.417 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.417 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.417 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.417 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.417 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.417 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.417 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.417 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.417 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.417 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.417 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.417 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.417 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.417 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.418 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.418 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.418 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.418 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.418 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.418 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.418 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.418 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.418 * [taylor]: Taking taylor expansion of 0 in lambda2 7.418 * [taylor]: Taking taylor expansion of 0 in lambda2 7.418 * [taylor]: Taking taylor expansion of 0 in lambda2 7.418 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.418 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.418 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.418 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.418 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.418 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.418 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.418 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.418 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.418 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.418 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.418 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.419 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.419 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.419 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.419 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.419 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.419 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.419 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.419 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.421 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.421 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.421 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.421 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.421 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.421 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.421 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.421 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.421 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.421 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.422 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.422 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.422 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.422 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.422 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.422 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.422 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.422 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.422 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.422 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.422 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.422 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.422 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.422 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.423 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.423 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.423 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.423 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.423 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.423 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.423 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.423 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.423 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.423 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.423 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.423 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.423 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.423 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.423 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.423 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.423 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.423 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.423 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.423 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.423 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.423 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.423 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.423 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.424 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.424 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.424 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.424 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.424 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.424 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.424 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.424 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.424 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.424 * [taylor]: Taking taylor expansion of 0 in lambda2 7.424 * [taylor]: Taking taylor expansion of 0 in lambda2 7.424 * [taylor]: Taking taylor expansion of 0 in lambda2 7.424 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.424 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.424 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.424 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.424 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.424 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.424 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.424 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.424 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.425 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.425 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.425 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.425 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.425 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.425 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.425 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.425 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.425 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.425 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.425 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.425 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.425 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.425 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.425 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.425 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.425 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.425 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.425 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.425 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.425 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.425 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.425 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.425 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.425 * [taylor]: Taking taylor expansion of 0 in lambda2 7.425 * [taylor]: Taking taylor expansion of 0 in lambda2 7.426 * [taylor]: Taking taylor expansion of 0 in lambda2 7.426 * * * [progress]: simplifying candidates 7.426 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.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))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (-.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.591 * * [simplify]: iteration 0 : 4819 enodes (cost 612 ) 7.591 * * [simplify]: iteration 1 : 4819 enodes (cost 612 ) 7.595 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (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))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.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))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (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))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (-.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.596 * * * [progress]: adding candidates to table 7.695 * * [progress]: iteration 2 / 4 7.695 * * * [progress]: picking best candidate 7.747 * * * * [pick]: Picked # 7.747 * * * [progress]: localizing error 7.801 * * * [progress]: generating rewritten candidates 7.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.806 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.812 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.817 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.823 * * * [progress]: generating series expansions 7.823 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.824 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.824 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.824 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.824 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.824 * [taylor]: Taking taylor expansion of phi1 in phi2 7.824 * [taylor]: Taking taylor expansion of phi2 in phi2 7.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.824 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.824 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.824 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.824 * [taylor]: Taking taylor expansion of phi1 in phi1 7.824 * [taylor]: Taking taylor expansion of phi2 in phi1 7.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.824 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.824 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.824 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.824 * [taylor]: Taking taylor expansion of phi1 in phi1 7.824 * [taylor]: Taking taylor expansion of phi2 in phi1 7.824 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.824 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.824 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.824 * [taylor]: Taking taylor expansion of phi2 in phi2 7.825 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.825 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.825 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.825 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.825 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.825 * [taylor]: Taking taylor expansion of phi2 in phi2 7.825 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.825 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.825 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.825 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.825 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.825 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.825 * [taylor]: Taking taylor expansion of phi2 in phi2 7.826 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.826 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.826 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.826 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.826 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.826 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.826 * [taylor]: Taking taylor expansion of phi2 in phi2 7.826 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.826 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.827 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.827 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.827 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.827 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.827 * [taylor]: Taking taylor expansion of phi1 in phi2 7.827 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.827 * [taylor]: Taking taylor expansion of phi2 in phi2 7.827 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.827 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.827 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.827 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.827 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.827 * [taylor]: Taking taylor expansion of phi1 in phi1 7.827 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.827 * [taylor]: Taking taylor expansion of phi2 in phi1 7.827 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.827 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.827 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.827 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.827 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.827 * [taylor]: Taking taylor expansion of phi1 in phi1 7.827 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.827 * [taylor]: Taking taylor expansion of phi2 in phi1 7.827 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.827 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.827 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.827 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.827 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.827 * [taylor]: Taking taylor expansion of phi1 in phi2 7.828 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.828 * [taylor]: Taking taylor expansion of phi2 in phi2 7.828 * [taylor]: Taking taylor expansion of 0 in phi2 7.828 * [taylor]: Taking taylor expansion of 0 in phi2 7.828 * [taylor]: Taking taylor expansion of 0 in phi2 7.828 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.828 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.828 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.828 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.828 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.828 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.828 * [taylor]: Taking taylor expansion of phi2 in phi2 7.828 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.828 * [taylor]: Taking taylor expansion of phi1 in phi2 7.828 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.828 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.828 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.828 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.828 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.828 * [taylor]: Taking taylor expansion of phi2 in phi1 7.828 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.829 * [taylor]: Taking taylor expansion of phi1 in phi1 7.829 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.829 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.829 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.829 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.829 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.829 * [taylor]: Taking taylor expansion of phi2 in phi1 7.829 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.829 * [taylor]: Taking taylor expansion of phi1 in phi1 7.829 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.829 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.829 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.829 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.829 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.829 * [taylor]: Taking taylor expansion of phi2 in phi2 7.829 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.829 * [taylor]: Taking taylor expansion of phi1 in phi2 7.829 * [taylor]: Taking taylor expansion of 0 in phi2 7.829 * [taylor]: Taking taylor expansion of 0 in phi2 7.829 * [taylor]: Taking taylor expansion of 0 in phi2 7.830 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.830 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.830 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.830 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.830 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.830 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.830 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.830 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.830 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.830 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.830 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.830 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.830 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.830 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.831 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.831 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.831 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.831 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.831 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.831 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.831 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.831 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.831 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.831 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.831 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.831 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.831 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.832 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.832 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.832 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.832 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.832 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.832 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.832 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.832 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.832 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.833 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.833 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.833 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.833 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.833 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.833 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.833 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.833 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.833 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.833 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.833 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.833 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.833 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.833 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.834 * [taylor]: Taking taylor expansion of 0 in lambda2 7.834 * [taylor]: Taking taylor expansion of 0 in lambda2 7.834 * [taylor]: Taking taylor expansion of 0 in lambda2 7.834 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.834 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.834 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.834 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.834 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.834 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.834 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.834 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.834 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.834 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.834 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.834 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.834 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.834 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.834 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.834 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.834 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.834 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.834 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.834 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.835 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.835 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.835 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.835 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.835 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.835 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.835 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.835 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.835 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.835 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.835 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.835 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.835 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.835 * [taylor]: Taking taylor expansion of 0 in lambda2 7.835 * [taylor]: Taking taylor expansion of 0 in lambda2 7.835 * [taylor]: Taking taylor expansion of 0 in lambda2 7.835 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.835 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.835 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.835 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.835 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.835 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.835 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.836 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.836 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.836 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.836 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.836 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.836 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.836 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.836 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.836 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.836 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.836 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.837 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.837 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.837 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.837 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.837 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.837 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.837 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.837 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.837 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.837 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.837 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.838 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.838 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.838 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.838 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.838 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.838 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.838 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.838 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.838 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.838 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.838 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.838 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.838 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.838 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.838 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.838 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.838 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.839 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.839 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.839 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.839 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.839 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.839 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.839 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.839 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.839 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.839 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.839 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.839 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.839 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.839 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.839 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.839 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.839 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.839 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.839 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.839 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.839 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.839 * [taylor]: Taking taylor expansion of 0 in lambda2 7.839 * [taylor]: Taking taylor expansion of 0 in lambda2 7.839 * [taylor]: Taking taylor expansion of 0 in lambda2 7.840 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.840 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.840 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.840 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.840 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.840 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.840 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.840 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.840 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.840 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.840 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.840 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.840 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.840 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.840 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.840 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.840 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.840 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.840 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.840 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.840 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.840 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.840 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.840 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.841 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.841 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.841 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.841 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.841 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.841 * [taylor]: Taking taylor expansion of 0 in lambda2 7.841 * [taylor]: Taking taylor expansion of 0 in lambda2 7.841 * [taylor]: Taking taylor expansion of 0 in lambda2 7.841 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.841 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.841 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.841 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.841 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.841 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.841 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.841 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.841 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.841 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.841 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.841 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.841 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.841 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.842 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.842 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.842 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.842 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.842 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.842 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.842 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.842 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.842 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.842 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.842 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.842 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.842 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.842 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.842 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.842 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.843 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.843 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.843 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.843 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.843 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.843 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.843 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.843 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.843 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.843 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.843 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.843 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.843 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.844 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.844 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.844 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.844 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.844 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.844 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.844 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.844 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.844 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.844 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.844 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.844 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.844 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.844 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.844 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.844 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.844 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.844 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.844 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.844 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.844 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.844 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.845 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.845 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.845 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.845 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.845 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.845 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.845 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.845 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.845 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.845 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.845 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.845 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.845 * [taylor]: Taking taylor expansion of 0 in lambda2 7.845 * [taylor]: Taking taylor expansion of 0 in lambda2 7.845 * [taylor]: Taking taylor expansion of 0 in lambda2 7.845 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.845 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.845 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.845 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.845 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.845 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.845 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.845 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.845 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.846 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.846 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.846 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.846 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.846 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.846 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.846 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.846 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.846 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.846 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.846 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.846 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.846 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.846 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.846 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.846 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.846 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.846 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.846 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.846 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.846 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.846 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.846 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.846 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.846 * [taylor]: Taking taylor expansion of 0 in lambda2 7.847 * [taylor]: Taking taylor expansion of 0 in lambda2 7.847 * [taylor]: Taking taylor expansion of 0 in lambda2 7.847 * * * [progress]: simplifying candidates 7.847 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (-.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.016 * * [simplify]: iteration 0 : 4819 enodes (cost 612 ) 8.017 * * [simplify]: iteration 1 : 4819 enodes (cost 612 ) 8.021 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (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))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (-.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.021 * * * [progress]: adding candidates to table 8.138 * * [progress]: iteration 3 / 4 8.138 * * * [progress]: picking best candidate 8.220 * * * * [pick]: Picked # 8.220 * * * [progress]: localizing error 8.266 * * * [progress]: generating rewritten candidates 8.266 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.272 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.278 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.284 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 8.290 * * * [progress]: generating series expansions 8.290 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.290 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.290 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.290 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.290 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.290 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.290 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.290 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.290 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.290 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.290 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.290 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.290 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.290 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.290 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.291 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.291 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.291 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.291 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.291 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.291 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.291 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.291 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.291 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.291 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.291 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.291 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.291 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.291 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.291 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.292 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.292 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.292 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.292 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.292 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.292 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.292 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.292 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.292 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.292 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.292 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.293 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.293 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.293 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.293 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.293 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.293 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.293 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.293 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.293 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.293 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.293 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.293 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.293 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.293 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.293 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.293 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.293 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.293 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.294 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.294 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.294 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.294 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.294 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.294 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.294 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.294 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.294 * [taylor]: Taking taylor expansion of 0 in lambda2 8.294 * [taylor]: Taking taylor expansion of 0 in lambda2 8.294 * [taylor]: Taking taylor expansion of 0 in lambda2 8.294 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.294 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.294 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.294 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.294 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.295 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.295 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.295 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.295 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.295 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.295 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.295 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.295 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.295 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.295 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.295 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.295 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.295 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.295 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.295 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.295 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.295 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.295 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.295 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.296 * [taylor]: Taking taylor expansion of 0 in lambda2 8.296 * [taylor]: Taking taylor expansion of 0 in lambda2 8.296 * [taylor]: Taking taylor expansion of 0 in lambda2 8.296 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.296 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.296 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.296 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.296 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.296 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.296 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.296 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.296 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.296 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.296 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.296 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.296 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.296 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.296 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.296 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.296 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.296 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.296 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.296 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.297 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.297 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.297 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.297 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.297 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.297 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.297 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.297 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.297 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.297 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.297 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.297 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.297 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.297 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.298 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.298 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.298 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.298 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.298 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.298 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.298 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.298 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.298 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.298 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.299 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.299 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.299 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.299 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.299 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.299 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.299 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.299 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.299 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.299 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.299 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.299 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.299 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.300 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.300 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.300 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.300 * [taylor]: Taking taylor expansion of 0 in lambda2 8.300 * [taylor]: Taking taylor expansion of 0 in lambda2 8.300 * [taylor]: Taking taylor expansion of 0 in lambda2 8.300 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.300 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.300 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.300 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.300 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.300 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.300 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.300 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.300 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.300 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.300 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.300 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.300 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.301 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.301 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.301 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.301 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.301 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.301 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.301 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.301 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.301 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.301 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.301 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.301 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.301 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.301 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.301 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.301 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.301 * [taylor]: Taking taylor expansion of 0 in lambda2 8.301 * [taylor]: Taking taylor expansion of 0 in lambda2 8.301 * [taylor]: Taking taylor expansion of 0 in lambda2 8.301 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 8.302 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.302 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.302 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.302 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.302 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.302 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.302 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.302 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.302 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.302 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.302 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.302 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.302 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.302 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.302 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.302 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.302 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.302 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.302 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.302 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.302 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.302 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.302 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.303 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.303 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.303 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.303 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.303 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.303 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.303 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.303 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.303 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.303 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.303 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.303 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.303 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.304 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.304 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.304 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.304 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.304 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.304 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.304 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.304 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.304 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.304 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.304 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.304 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.304 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.304 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.304 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.305 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.305 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.305 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.305 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.305 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.305 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.305 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.305 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.305 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.305 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.305 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.305 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.305 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.305 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.305 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.305 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.305 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.305 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.305 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.305 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.305 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.305 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.305 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.305 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.305 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.305 * [taylor]: Taking taylor expansion of 0 in lambda2 8.306 * [taylor]: Taking taylor expansion of 0 in lambda2 8.306 * [taylor]: Taking taylor expansion of 0 in lambda2 8.306 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.306 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.306 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.306 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.306 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.306 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.306 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.306 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.306 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.306 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.306 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.306 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.306 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.306 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.306 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.306 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.306 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.306 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.306 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.306 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.306 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.306 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.306 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.307 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.307 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.307 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.307 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.307 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.307 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.307 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.307 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.307 * [taylor]: Taking taylor expansion of 0 in lambda2 8.307 * [taylor]: Taking taylor expansion of 0 in lambda2 8.307 * [taylor]: Taking taylor expansion of 0 in lambda2 8.307 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 8.307 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.307 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.307 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.307 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.307 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.307 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.307 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.307 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.308 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.308 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.308 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.308 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.308 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.308 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.308 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.308 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.308 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.308 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.308 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.308 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.308 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.308 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.308 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.308 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.308 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.308 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.308 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.308 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.308 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.309 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.309 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.309 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.309 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.309 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.309 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.309 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.310 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.310 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.310 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.310 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.310 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.310 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.310 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.310 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.310 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.310 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.310 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.310 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.310 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.310 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.310 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.310 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.310 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.310 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.310 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.310 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.310 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.310 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.310 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.310 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.311 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.311 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.311 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.311 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.311 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.311 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.311 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.311 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.311 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.311 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.311 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.311 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.311 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.311 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.311 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.311 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.311 * [taylor]: Taking taylor expansion of 0 in lambda2 8.311 * [taylor]: Taking taylor expansion of 0 in lambda2 8.311 * [taylor]: Taking taylor expansion of 0 in lambda2 8.312 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.312 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.312 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.312 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.312 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.312 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.312 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.312 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.312 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.312 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.312 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.312 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.312 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.312 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.312 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.312 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.312 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.312 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.312 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.312 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.312 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.312 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.312 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.313 * [taylor]: Taking taylor expansion of 0 in lambda2 8.313 * [taylor]: Taking taylor expansion of 0 in lambda2 8.313 * [taylor]: Taking taylor expansion of 0 in lambda2 8.313 * * * [progress]: simplifying candidates 8.314 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (-.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))) 8.493 * * [simplify]: iteration 0 : 4738 enodes (cost 612 ) 8.493 * * [simplify]: iteration 1 : 4738 enodes (cost 612 ) 8.497 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (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 (-.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)) 8.498 * * * [progress]: adding candidates to table 8.647 * * [progress]: iteration 4 / 4 8.647 * * * [progress]: picking best candidate 8.748 * * * * [pick]: Picked # 8.748 * * * [progress]: localizing error 8.795 * * * [progress]: generating rewritten candidates 8.795 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 8.807 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.813 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.819 * * * [progress]: generating series expansions 8.819 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.819 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.819 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.819 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.819 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.819 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.819 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.819 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.820 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.820 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.820 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.820 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.820 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.820 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.820 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.820 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.820 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.820 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.820 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.820 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.820 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.820 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.820 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.820 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.820 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.821 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.821 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.821 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.821 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.821 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.821 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.821 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.821 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.821 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.821 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.821 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.821 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.822 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.822 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.822 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.822 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.822 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.822 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.822 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.822 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.822 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.822 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.822 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.822 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.822 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.822 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.822 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.822 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.823 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.823 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.823 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.823 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.823 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.823 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.823 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.823 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.823 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.823 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.823 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.823 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.823 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.823 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.823 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.823 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.823 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.823 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.823 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.823 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.823 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.823 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.823 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.823 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.823 * [taylor]: Taking taylor expansion of 0 in lambda2 8.823 * [taylor]: Taking taylor expansion of 0 in lambda2 8.824 * [taylor]: Taking taylor expansion of 0 in lambda2 8.824 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.824 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.824 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.824 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.824 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.824 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.824 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.824 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.824 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.824 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.824 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.824 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.824 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.824 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.824 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.824 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.824 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.824 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.824 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.824 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.824 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.824 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.825 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.825 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.825 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.825 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.825 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.825 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.825 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.825 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.825 * [taylor]: Taking taylor expansion of 0 in lambda2 8.825 * [taylor]: Taking taylor expansion of 0 in lambda2 8.825 * [taylor]: Taking taylor expansion of 0 in lambda2 8.825 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 8.825 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.825 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.825 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.825 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.825 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.825 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.825 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.826 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.826 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.826 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.826 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.826 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.826 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.826 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.826 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.826 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.826 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.826 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.826 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.826 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.826 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.826 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.826 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.826 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.826 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.826 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.826 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.826 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.826 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.827 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.827 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.827 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.827 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.827 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.827 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.827 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.828 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.828 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.828 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.828 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.828 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.828 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.828 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.828 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.828 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.828 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.828 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.828 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.828 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.828 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.828 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.828 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.829 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.829 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.829 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.829 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.829 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.829 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.829 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.829 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.829 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.829 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.829 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.829 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.829 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.829 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.829 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.829 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.829 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.829 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.829 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.829 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.829 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.829 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.829 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.829 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.829 * [taylor]: Taking taylor expansion of 0 in lambda2 8.830 * [taylor]: Taking taylor expansion of 0 in lambda2 8.830 * [taylor]: Taking taylor expansion of 0 in lambda2 8.830 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.830 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.830 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.830 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.830 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.830 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.830 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.830 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.830 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.830 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.830 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.830 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.830 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.830 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.831 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.831 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.831 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.831 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.831 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.831 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.831 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.831 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.831 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.831 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.831 * [taylor]: Taking taylor expansion of 0 in lambda2 8.831 * [taylor]: Taking taylor expansion of 0 in lambda2 8.831 * [taylor]: Taking taylor expansion of 0 in lambda2 8.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.832 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.832 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.832 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.832 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.832 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.832 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.832 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.832 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.832 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.832 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.832 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.832 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.832 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.832 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.832 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.832 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.832 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.832 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.832 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.832 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.832 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.832 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.832 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.833 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.833 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.833 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.833 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.833 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.833 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.833 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.833 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.833 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.833 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.833 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.834 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.836 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.836 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.836 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.836 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.836 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.836 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.836 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.837 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.837 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.837 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.837 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.837 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.837 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.837 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.837 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.837 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.837 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.838 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.838 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.838 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.838 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.838 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.838 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.838 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.838 * [taylor]: Taking taylor expansion of 0 in lambda2 8.838 * [taylor]: Taking taylor expansion of 0 in lambda2 8.838 * [taylor]: Taking taylor expansion of 0 in lambda2 8.838 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.838 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.838 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.838 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.838 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.838 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.838 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.838 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.838 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.839 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.839 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.839 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.839 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.839 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.839 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.839 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.839 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.839 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.839 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.839 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.839 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.839 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.839 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.839 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.839 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.839 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.839 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.839 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.839 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.839 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.839 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.839 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.839 * [taylor]: Taking taylor expansion of 0 in lambda2 8.839 * [taylor]: Taking taylor expansion of 0 in lambda2 8.839 * [taylor]: Taking taylor expansion of 0 in lambda2 8.840 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 8.840 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.840 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.840 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.840 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.840 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.840 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.840 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.840 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.840 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.840 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.840 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.840 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.840 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.840 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.840 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.840 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.840 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.840 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.840 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.840 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.841 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.841 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.841 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.841 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.841 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.841 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.841 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.841 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.841 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.841 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.841 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.841 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.841 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.841 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.842 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.842 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.842 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.842 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.842 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.842 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.842 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.843 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.843 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.843 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.843 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.843 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.843 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.843 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.843 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.843 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.843 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.843 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.843 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.843 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.843 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.843 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.843 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.843 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.843 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.843 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.843 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.843 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.843 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.843 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.843 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.843 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.844 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.844 * [taylor]: Taking taylor expansion of 0 in lambda2 8.844 * [taylor]: Taking taylor expansion of 0 in lambda2 8.844 * [taylor]: Taking taylor expansion of 0 in lambda2 8.844 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.844 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.844 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.844 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.844 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.844 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.844 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.844 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.844 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.844 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.844 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.844 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.844 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.844 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.844 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.844 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.844 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.845 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.845 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.845 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.845 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.845 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.845 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.845 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.845 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.845 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.845 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.845 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.845 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.845 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.845 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.845 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.845 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.845 * [taylor]: Taking taylor expansion of 0 in lambda2 8.845 * [taylor]: Taking taylor expansion of 0 in lambda2 8.845 * [taylor]: Taking taylor expansion of 0 in lambda2 8.845 * * * [progress]: simplifying candidates 8.846 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (exp.f64 (cbrt.f64 (pow.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 (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 1 3)) (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 (*.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 (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 (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 1 3)) (cbrt.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 (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 1) (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))) (*.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))) (*.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))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (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))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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))) (-.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))) 8.960 * * [simplify]: iteration 0 : 4784 enodes (cost 809 ) 8.961 * * [simplify]: iteration 1 : 4784 enodes (cost 809 ) 8.966 * [simplify]: Simplified to: (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.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))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (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))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 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 1) (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)) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.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 (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.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 (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 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.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 (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 (-.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)) 8.966 * * * [progress]: adding candidates to table 9.178 * [progress]: [Phase 3 of 3] Extracting. 9.179 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # # # #) 9.250 * * * [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) 9.250 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # # # # # #) 9.417 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # # # # # # # # # # # #) 9.581 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # # # # # # # # # # # #) 9.751 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # # # # # #) 9.914 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # # # # # #) 10.077 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # # # # # #) 10.246 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # # # # # #) 10.412 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # # # # # #) 10.577 * * * [regime]: Found split indices: #