7.296 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 6.910 * * * [progress]: [2/2] Setting up program. 6.916 * [progress]: [Phase 2 of 3] Improving. 6.916 * [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.013 * * [simplify]: iteration 0 : 4808 enodes (cost 65 ) 7.014 * * [simplify]: iteration 1 : 4808 enodes (cost 65 ) 7.015 * [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.020 * * [progress]: iteration 1 / 4 7.020 * * * [progress]: picking best candidate 7.025 * * * * [pick]: Picked # 7.025 * * * [progress]: localizing error 7.059 * * * [progress]: generating rewritten candidates 7.059 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.065 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 7.073 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.079 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.084 * * * [progress]: generating series expansions 7.084 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.085 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.085 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.085 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.085 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.085 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.085 * [taylor]: Taking taylor expansion of phi1 in phi2 7.085 * [taylor]: Taking taylor expansion of phi2 in phi2 7.085 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.085 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.085 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.085 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.085 * [taylor]: Taking taylor expansion of phi1 in phi1 7.085 * [taylor]: Taking taylor expansion of phi2 in phi1 7.085 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.085 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.085 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.085 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.085 * [taylor]: Taking taylor expansion of phi1 in phi1 7.085 * [taylor]: Taking taylor expansion of phi2 in phi1 7.085 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.085 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.085 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.085 * [taylor]: Taking taylor expansion of phi2 in phi2 7.086 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.086 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.086 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.086 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.086 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.086 * [taylor]: Taking taylor expansion of phi2 in phi2 7.086 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.086 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.086 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.086 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.086 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.086 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.086 * [taylor]: Taking taylor expansion of phi2 in phi2 7.087 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.087 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.087 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.087 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.087 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.087 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.087 * [taylor]: Taking taylor expansion of phi2 in phi2 7.087 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.087 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.087 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.087 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.087 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.088 * [taylor]: Taking taylor expansion of phi1 in phi2 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.088 * [taylor]: Taking taylor expansion of phi2 in phi2 7.088 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.088 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.088 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.088 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.088 * [taylor]: Taking taylor expansion of phi1 in phi1 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.088 * [taylor]: Taking taylor expansion of phi2 in phi1 7.088 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.088 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.088 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.088 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.088 * [taylor]: Taking taylor expansion of phi1 in phi1 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.088 * [taylor]: Taking taylor expansion of phi2 in phi1 7.088 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.088 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.088 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.088 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.088 * [taylor]: Taking taylor expansion of phi1 in phi2 7.088 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.088 * [taylor]: Taking taylor expansion of phi2 in phi2 7.089 * [taylor]: Taking taylor expansion of 0 in phi2 7.089 * [taylor]: Taking taylor expansion of 0 in phi2 7.089 * [taylor]: Taking taylor expansion of 0 in phi2 7.089 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.089 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.089 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.089 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.089 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.089 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.089 * [taylor]: Taking taylor expansion of phi2 in phi2 7.089 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.089 * [taylor]: Taking taylor expansion of phi1 in phi2 7.089 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.089 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.089 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.089 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.089 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.089 * [taylor]: Taking taylor expansion of phi2 in phi1 7.089 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.089 * [taylor]: Taking taylor expansion of phi1 in phi1 7.089 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.089 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.089 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.089 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.089 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.089 * [taylor]: Taking taylor expansion of phi2 in phi1 7.089 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.089 * [taylor]: Taking taylor expansion of phi1 in phi1 7.090 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.090 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.090 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.090 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.090 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.090 * [taylor]: Taking taylor expansion of phi2 in phi2 7.090 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.090 * [taylor]: Taking taylor expansion of phi1 in phi2 7.090 * [taylor]: Taking taylor expansion of 0 in phi2 7.090 * [taylor]: Taking taylor expansion of 0 in phi2 7.090 * [taylor]: Taking taylor expansion of 0 in phi2 7.090 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 7.090 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.090 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.090 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.090 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.090 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.090 * [taylor]: Taking taylor expansion of phi1 in phi2 7.090 * [taylor]: Taking taylor expansion of phi2 in phi2 7.090 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.090 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.090 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.090 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.090 * [taylor]: Taking taylor expansion of phi1 in phi1 7.090 * [taylor]: Taking taylor expansion of phi2 in phi1 7.091 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.091 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.091 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.091 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.091 * [taylor]: Taking taylor expansion of phi1 in phi1 7.091 * [taylor]: Taking taylor expansion of phi2 in phi1 7.091 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.091 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.091 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.091 * [taylor]: Taking taylor expansion of phi2 in phi2 7.091 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.091 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.091 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.091 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.091 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.091 * [taylor]: Taking taylor expansion of phi2 in phi2 7.092 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.092 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.092 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.092 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.092 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.092 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.092 * [taylor]: Taking taylor expansion of phi2 in phi2 7.092 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.092 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.092 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.092 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.092 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.092 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.092 * [taylor]: Taking taylor expansion of phi2 in phi2 7.093 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.093 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.093 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.093 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.093 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.093 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.093 * [taylor]: Taking taylor expansion of phi1 in phi2 7.093 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.093 * [taylor]: Taking taylor expansion of phi2 in phi2 7.093 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.093 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.093 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.093 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.093 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.093 * [taylor]: Taking taylor expansion of phi1 in phi1 7.093 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.093 * [taylor]: Taking taylor expansion of phi2 in phi1 7.093 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.093 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.093 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.093 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.093 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.093 * [taylor]: Taking taylor expansion of phi1 in phi1 7.093 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.093 * [taylor]: Taking taylor expansion of phi2 in phi1 7.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.094 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.094 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.094 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.094 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.094 * [taylor]: Taking taylor expansion of phi1 in phi2 7.094 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.094 * [taylor]: Taking taylor expansion of phi2 in phi2 7.094 * [taylor]: Taking taylor expansion of 0 in phi2 7.094 * [taylor]: Taking taylor expansion of 0 in phi2 7.094 * [taylor]: Taking taylor expansion of 0 in phi2 7.094 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.094 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.094 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.094 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.094 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.094 * [taylor]: Taking taylor expansion of phi2 in phi2 7.094 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.094 * [taylor]: Taking taylor expansion of phi1 in phi2 7.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.094 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.094 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.094 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.095 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.095 * [taylor]: Taking taylor expansion of phi2 in phi1 7.095 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.095 * [taylor]: Taking taylor expansion of phi1 in phi1 7.095 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.095 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.095 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.095 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.095 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.095 * [taylor]: Taking taylor expansion of phi2 in phi1 7.095 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.095 * [taylor]: Taking taylor expansion of phi1 in phi1 7.095 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.095 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.095 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.095 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.095 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.095 * [taylor]: Taking taylor expansion of phi2 in phi2 7.095 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.095 * [taylor]: Taking taylor expansion of phi1 in phi2 7.095 * [taylor]: Taking taylor expansion of 0 in phi2 7.095 * [taylor]: Taking taylor expansion of 0 in phi2 7.095 * [taylor]: Taking taylor expansion of 0 in phi2 7.095 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.096 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.096 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.096 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.096 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.096 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.096 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.096 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.096 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.096 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.096 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.096 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.096 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.096 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.096 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.096 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.096 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.096 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.096 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.096 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.096 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.096 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.096 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.096 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.097 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.097 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.097 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.097 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.097 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.097 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.097 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.097 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.097 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.097 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.097 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.097 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.097 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.098 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.098 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.098 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.098 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.098 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.098 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.098 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.098 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.098 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.098 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.098 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.098 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.098 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.098 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.098 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.099 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.099 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.099 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.099 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.099 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.099 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.099 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.099 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.099 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.099 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.099 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.099 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.099 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.099 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.099 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.099 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.099 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.099 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.099 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.099 * [taylor]: Taking taylor expansion of 0 in lambda2 7.099 * [taylor]: Taking taylor expansion of 0 in lambda2 7.099 * [taylor]: Taking taylor expansion of 0 in lambda2 7.100 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.100 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.100 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.100 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.100 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.100 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.100 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.100 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.100 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.100 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.100 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.100 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.100 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.100 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.100 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.100 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.100 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.100 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.100 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.100 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.100 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.100 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.100 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.100 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.101 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.101 * [taylor]: Taking taylor expansion of 0 in lambda2 7.101 * [taylor]: Taking taylor expansion of 0 in lambda2 7.101 * [taylor]: Taking taylor expansion of 0 in lambda2 7.101 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.101 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.101 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.101 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.101 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.101 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.101 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.101 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.101 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.101 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.101 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.101 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.101 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.101 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.101 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.101 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.101 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.102 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.102 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.102 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.102 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.102 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.102 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.102 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.102 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.102 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.102 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.102 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.102 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.102 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.103 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.103 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.103 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.103 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.103 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.103 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.103 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.103 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.103 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.103 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.103 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.103 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.103 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.103 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.104 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.104 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.104 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.104 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.104 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.104 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.104 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.104 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.104 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.104 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.104 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.104 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.104 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.104 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.104 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.104 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.104 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.104 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.104 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.104 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.104 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.104 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.104 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.104 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.105 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.105 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.105 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.105 * [taylor]: Taking taylor expansion of 0 in lambda2 7.105 * [taylor]: Taking taylor expansion of 0 in lambda2 7.105 * [taylor]: Taking taylor expansion of 0 in lambda2 7.105 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.105 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.105 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.105 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.105 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.105 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.105 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.105 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.105 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.105 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.105 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.105 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.105 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.105 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.106 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.106 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.106 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.106 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.106 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.106 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.106 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.106 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.106 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.106 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.106 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.106 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.106 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.106 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.106 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.106 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.106 * [taylor]: Taking taylor expansion of 0 in lambda2 7.106 * [taylor]: Taking taylor expansion of 0 in lambda2 7.106 * [taylor]: Taking taylor expansion of 0 in lambda2 7.106 * * * [progress]: simplifying candidates 7.107 * [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.223 * * [simplify]: iteration 0 : 4817 enodes (cost 396 ) 7.224 * * [simplify]: iteration 1 : 4817 enodes (cost 396 ) 7.226 * [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.226 * * * [progress]: adding candidates to table 7.330 * * [progress]: iteration 2 / 4 7.330 * * * [progress]: picking best candidate 7.410 * * * * [pick]: Picked # 7.411 * * * [progress]: localizing error 7.459 * * * [progress]: generating rewritten candidates 7.459 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.464 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.470 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.475 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.481 * * * [progress]: generating series expansions 7.481 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.481 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.481 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.481 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.481 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.481 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.481 * [taylor]: Taking taylor expansion of phi1 in phi2 7.481 * [taylor]: Taking taylor expansion of phi2 in phi2 7.481 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.481 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.481 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.481 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.481 * [taylor]: Taking taylor expansion of phi1 in phi1 7.481 * [taylor]: Taking taylor expansion of phi2 in phi1 7.481 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.481 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.481 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.481 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.481 * [taylor]: Taking taylor expansion of phi1 in phi1 7.481 * [taylor]: Taking taylor expansion of phi2 in phi1 7.482 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.482 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.482 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.482 * [taylor]: Taking taylor expansion of phi2 in phi2 7.482 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.482 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.482 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.482 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.482 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.482 * [taylor]: Taking taylor expansion of phi2 in phi2 7.482 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.482 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.483 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.483 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.483 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.483 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.483 * [taylor]: Taking taylor expansion of phi2 in phi2 7.483 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.483 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.483 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.483 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.483 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.483 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.483 * [taylor]: Taking taylor expansion of phi2 in phi2 7.484 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.484 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.484 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.484 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.484 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.484 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.484 * [taylor]: Taking taylor expansion of phi1 in phi2 7.484 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.484 * [taylor]: Taking taylor expansion of phi2 in phi2 7.484 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.484 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.484 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.484 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.484 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.484 * [taylor]: Taking taylor expansion of phi1 in phi1 7.484 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.484 * [taylor]: Taking taylor expansion of phi2 in phi1 7.484 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.484 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.484 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.484 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.484 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.484 * [taylor]: Taking taylor expansion of phi1 in phi1 7.484 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.484 * [taylor]: Taking taylor expansion of phi2 in phi1 7.485 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.485 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.485 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.485 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.485 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.485 * [taylor]: Taking taylor expansion of phi1 in phi2 7.485 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.485 * [taylor]: Taking taylor expansion of phi2 in phi2 7.485 * [taylor]: Taking taylor expansion of 0 in phi2 7.485 * [taylor]: Taking taylor expansion of 0 in phi2 7.485 * [taylor]: Taking taylor expansion of 0 in phi2 7.485 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.485 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.485 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.485 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.485 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.485 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.485 * [taylor]: Taking taylor expansion of phi2 in phi2 7.485 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.485 * [taylor]: Taking taylor expansion of phi1 in phi2 7.485 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.485 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.486 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.486 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.486 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.486 * [taylor]: Taking taylor expansion of phi2 in phi1 7.486 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.486 * [taylor]: Taking taylor expansion of phi1 in phi1 7.486 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.486 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.486 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.486 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.486 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.486 * [taylor]: Taking taylor expansion of phi2 in phi1 7.486 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.486 * [taylor]: Taking taylor expansion of phi1 in phi1 7.486 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.486 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.486 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.486 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.486 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.486 * [taylor]: Taking taylor expansion of phi2 in phi2 7.486 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.486 * [taylor]: Taking taylor expansion of phi1 in phi2 7.486 * [taylor]: Taking taylor expansion of 0 in phi2 7.486 * [taylor]: Taking taylor expansion of 0 in phi2 7.486 * [taylor]: Taking taylor expansion of 0 in phi2 7.487 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.487 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.487 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.487 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.487 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.487 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.487 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.487 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.487 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.487 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.487 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.487 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.487 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.487 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.487 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.487 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.487 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.487 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.488 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.488 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.488 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.488 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.488 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.488 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.488 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.488 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.488 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.488 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.488 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.488 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.488 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.489 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.489 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.489 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.489 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.489 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.489 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.489 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.489 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.489 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.489 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.489 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.489 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.489 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.489 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.489 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.489 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.489 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.489 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.489 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.490 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.490 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.490 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.490 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.490 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.490 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.490 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.490 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.490 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.490 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.490 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.490 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.490 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.490 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.490 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.490 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.490 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.490 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.490 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.490 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.490 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.490 * [taylor]: Taking taylor expansion of 0 in lambda2 7.490 * [taylor]: Taking taylor expansion of 0 in lambda2 7.490 * [taylor]: Taking taylor expansion of 0 in lambda2 7.491 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.491 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.491 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.491 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.491 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.491 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.491 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.491 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.491 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.491 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.491 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.491 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.491 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.491 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.491 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.491 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.491 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.491 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.491 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.491 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.491 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.491 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.491 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.491 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.491 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.491 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.492 * [taylor]: Taking taylor expansion of 0 in lambda2 7.492 * [taylor]: Taking taylor expansion of 0 in lambda2 7.492 * [taylor]: Taking taylor expansion of 0 in lambda2 7.492 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.492 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.492 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.492 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.492 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.492 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.492 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.492 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.492 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.492 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.492 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.492 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.492 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.492 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.492 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.492 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.492 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.492 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.492 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.492 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.494 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.494 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.494 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.494 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.495 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.495 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.495 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.495 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.495 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.495 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.495 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.495 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.495 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.495 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.495 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.495 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.495 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.496 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.496 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.496 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.496 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.496 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.496 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.496 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.496 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.496 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.496 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.496 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.496 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.496 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.497 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.497 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.497 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.497 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.497 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.497 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.497 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.497 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.497 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.497 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.497 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.497 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.497 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.497 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.497 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.497 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.497 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.497 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.497 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.497 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.497 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.497 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.497 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.497 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.497 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.497 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.497 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.498 * [taylor]: Taking taylor expansion of 0 in lambda2 7.498 * [taylor]: Taking taylor expansion of 0 in lambda2 7.498 * [taylor]: Taking taylor expansion of 0 in lambda2 7.498 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.498 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.498 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.498 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.498 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.498 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.498 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.498 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.498 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.498 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.498 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.498 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.498 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.498 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.498 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.498 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.498 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.498 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.498 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.498 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.498 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.498 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.498 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.498 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.498 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.499 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.499 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.499 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.499 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.499 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.499 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.499 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.499 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.499 * [taylor]: Taking taylor expansion of 0 in lambda2 7.499 * [taylor]: Taking taylor expansion of 0 in lambda2 7.499 * [taylor]: Taking taylor expansion of 0 in lambda2 7.499 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.499 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.499 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.499 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.499 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.499 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.499 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.499 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.499 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.499 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.499 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.499 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.499 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.499 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.500 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.500 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.500 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.500 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.500 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.500 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.500 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.500 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.500 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.500 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.500 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.500 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.500 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.500 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.500 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.500 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.501 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.501 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.501 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.501 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.501 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.501 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.501 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.501 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.501 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.501 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.501 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.501 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.501 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.501 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.502 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.502 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.502 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.502 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.502 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.502 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.502 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.502 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.502 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.502 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.502 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.502 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.502 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.502 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.502 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.502 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.502 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.502 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.502 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.502 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.502 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.502 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.502 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.502 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.502 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.503 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.503 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.503 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.503 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.503 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.503 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.503 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.503 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.503 * [taylor]: Taking taylor expansion of 0 in lambda2 7.503 * [taylor]: Taking taylor expansion of 0 in lambda2 7.503 * [taylor]: Taking taylor expansion of 0 in lambda2 7.503 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.503 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.503 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.503 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.503 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.503 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.503 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.503 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.503 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.503 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.503 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.503 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.503 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.503 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.504 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.504 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.504 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.504 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.504 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.504 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.504 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.504 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.504 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.504 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.504 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.504 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.504 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.504 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.504 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.504 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.504 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.504 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.504 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.504 * [taylor]: Taking taylor expansion of 0 in lambda2 7.504 * [taylor]: Taking taylor expansion of 0 in lambda2 7.504 * [taylor]: Taking taylor expansion of 0 in lambda2 7.504 * * * [progress]: simplifying candidates 7.505 * [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))) 7.622 * * [simplify]: iteration 0 : 4817 enodes (cost 396 ) 7.622 * * [simplify]: iteration 1 : 4817 enodes (cost 396 ) 7.624 * [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)) 7.624 * * * [progress]: adding candidates to table 7.737 * * [progress]: iteration 3 / 4 7.737 * * * [progress]: picking best candidate 7.834 * * * * [pick]: Picked # 7.834 * * * [progress]: localizing error 7.877 * * * [progress]: generating rewritten candidates 7.877 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.882 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.888 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.895 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 7.900 * * * [progress]: generating series expansions 7.900 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.901 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.901 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.901 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.901 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.901 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.901 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.901 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.901 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.901 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.901 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.901 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.901 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.901 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.901 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.901 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.901 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.901 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.901 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.901 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.901 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.901 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.901 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.901 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.902 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.902 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.902 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.902 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.902 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.902 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.902 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.902 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.902 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.902 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.902 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.902 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.902 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.903 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.903 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.903 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.903 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.903 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.903 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.903 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.903 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.903 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.903 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.903 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.903 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.903 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.903 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.903 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.903 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.904 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.904 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.904 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.904 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.904 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.904 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.904 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.904 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.904 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.904 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.904 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.904 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.904 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.904 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.904 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.904 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.904 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.904 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.904 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.904 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.904 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.904 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.904 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.904 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.904 * [taylor]: Taking taylor expansion of 0 in lambda2 7.905 * [taylor]: Taking taylor expansion of 0 in lambda2 7.905 * [taylor]: Taking taylor expansion of 0 in lambda2 7.905 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.905 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.905 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.905 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.905 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.905 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.905 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.905 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.905 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.905 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.905 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.905 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.905 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.905 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.905 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.905 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.905 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.905 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.905 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.905 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.905 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.905 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.905 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.905 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.905 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.906 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.906 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.906 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.906 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.906 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.906 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.906 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.906 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.906 * [taylor]: Taking taylor expansion of 0 in lambda2 7.906 * [taylor]: Taking taylor expansion of 0 in lambda2 7.906 * [taylor]: Taking taylor expansion of 0 in lambda2 7.906 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.906 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.906 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.906 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.906 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.906 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.906 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.906 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.906 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.906 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.906 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.906 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.906 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.906 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.907 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.907 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.907 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.907 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.907 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.907 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.907 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.907 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.907 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.907 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.907 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.907 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.907 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.907 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.907 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.907 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.908 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.908 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.908 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.908 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.908 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.908 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.908 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.908 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.908 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.908 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.908 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.908 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.908 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.909 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.909 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.909 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.909 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.909 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.909 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.909 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.909 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.909 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.909 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.909 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.909 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.909 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.909 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.909 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.909 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.909 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.909 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.909 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.910 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.910 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.910 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.910 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.910 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.910 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.910 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.910 * [taylor]: Taking taylor expansion of 0 in lambda2 7.910 * [taylor]: Taking taylor expansion of 0 in lambda2 7.910 * [taylor]: Taking taylor expansion of 0 in lambda2 7.910 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.910 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.910 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.910 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.910 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.910 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.910 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.910 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.910 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.911 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.911 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.911 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.911 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.911 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.911 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.911 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.911 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.911 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.911 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.911 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.911 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.911 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.911 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.911 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.911 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.911 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.911 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.911 * [taylor]: Taking taylor expansion of 0 in lambda2 7.911 * [taylor]: Taking taylor expansion of 0 in lambda2 7.911 * [taylor]: Taking taylor expansion of 0 in lambda2 7.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 7.912 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.912 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.912 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.912 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.912 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.912 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.912 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.912 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.912 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.912 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.912 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.912 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.912 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.912 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.912 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.912 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.912 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.912 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.912 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.912 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.912 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.912 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.912 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.913 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.913 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.913 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.913 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.913 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.913 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.913 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.913 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.913 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.913 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.913 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.913 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.913 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.914 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.914 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.914 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.914 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.914 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.914 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.914 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.914 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.914 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.914 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.914 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.914 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.914 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.914 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.915 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.915 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.915 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.915 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.915 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.915 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.915 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.915 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.915 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.915 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.915 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.915 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.915 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.915 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.915 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.915 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.915 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.915 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.915 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.915 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.915 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.915 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.915 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.915 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.915 * [taylor]: Taking taylor expansion of 0 in lambda2 7.915 * [taylor]: Taking taylor expansion of 0 in lambda2 7.915 * [taylor]: Taking taylor expansion of 0 in lambda2 7.916 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.916 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.916 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.916 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.916 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.916 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.916 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.916 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.916 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.916 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.916 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.916 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.916 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.916 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.916 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.916 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.916 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.916 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.916 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.916 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.916 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.916 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.916 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.916 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.916 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.916 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.916 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.916 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.916 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.916 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.917 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.917 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.917 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.917 * [taylor]: Taking taylor expansion of 0 in lambda2 7.917 * [taylor]: Taking taylor expansion of 0 in lambda2 7.917 * [taylor]: Taking taylor expansion of 0 in lambda2 7.917 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 7.917 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.917 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.917 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.917 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.917 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.917 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.917 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.917 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.917 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.917 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.917 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.917 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.917 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.917 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.917 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.918 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.918 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.918 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.918 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.918 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.918 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.918 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.918 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.918 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.918 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.918 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.919 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.919 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.919 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.919 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.919 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.919 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.919 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.919 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.919 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.919 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.919 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.919 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.919 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.919 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.920 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.920 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.920 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.920 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.920 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.920 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.920 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.920 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.920 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.920 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.920 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.920 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.920 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.920 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.920 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.920 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.920 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.920 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.920 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.920 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.920 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.920 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.920 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.921 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.921 * [taylor]: Taking taylor expansion of 0 in lambda2 7.921 * [taylor]: Taking taylor expansion of 0 in lambda2 7.921 * [taylor]: Taking taylor expansion of 0 in lambda2 7.921 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.921 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.921 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.921 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.921 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.921 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.921 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.921 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.921 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.921 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.921 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.921 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.921 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.921 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.921 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.921 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.922 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.922 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.922 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.922 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.922 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.922 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.922 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.922 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.922 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.922 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.922 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.922 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.922 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.922 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.922 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.922 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.922 * [taylor]: Taking taylor expansion of 0 in lambda2 7.922 * [taylor]: Taking taylor expansion of 0 in lambda2 7.922 * [taylor]: Taking taylor expansion of 0 in lambda2 7.922 * * * [progress]: simplifying candidates 7.923 * [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.051 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 8.051 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 8.053 * [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.054 * * * [progress]: adding candidates to table 8.191 * * [progress]: iteration 4 / 4 8.192 * * * [progress]: picking best candidate 8.292 * * * * [pick]: Picked # 8.292 * * * [progress]: localizing error 8.341 * * * [progress]: generating rewritten candidates 8.341 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.346 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 2 1) 8.352 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 2 1) 8.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1 1) 8.364 * * * [progress]: generating series expansions 8.364 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.364 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.364 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.364 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.364 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.364 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.364 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.364 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.365 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.365 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.365 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.365 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.365 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.365 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.365 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.365 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.365 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.365 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.365 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.365 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.365 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.365 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.365 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.365 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.365 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.365 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.365 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.365 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.365 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.365 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.366 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.366 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.366 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.366 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.366 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.366 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.366 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.367 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.367 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.367 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.367 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.367 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.367 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.367 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.367 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.367 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.367 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.367 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.367 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.367 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.367 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.367 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.367 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.367 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.367 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.367 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.367 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.367 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.367 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.367 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.367 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.368 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.368 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.368 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.368 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.368 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.368 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.368 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.368 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.368 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.368 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.368 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.368 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.368 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.368 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.368 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.368 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.368 * [taylor]: Taking taylor expansion of 0 in lambda2 8.368 * [taylor]: Taking taylor expansion of 0 in lambda2 8.368 * [taylor]: Taking taylor expansion of 0 in lambda2 8.368 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.368 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.368 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.368 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.368 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.369 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.369 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.369 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.369 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.369 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.369 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.369 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.369 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.369 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.369 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.369 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.369 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.369 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.369 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.369 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.369 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.369 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.369 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.369 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.369 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.369 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.370 * [taylor]: Taking taylor expansion of 0 in lambda2 8.370 * [taylor]: Taking taylor expansion of 0 in lambda2 8.370 * [taylor]: Taking taylor expansion of 0 in lambda2 8.370 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 2 1) 8.370 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.370 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.370 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.370 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.370 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.370 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.370 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.370 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.370 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.370 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.370 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.370 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.370 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.370 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.370 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.370 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.370 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.370 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.370 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.371 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.371 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.371 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.371 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.371 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.371 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.371 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.371 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.371 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.371 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.371 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.371 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.371 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.371 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.371 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.371 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.371 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.372 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.372 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.372 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.372 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.372 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.372 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.372 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.374 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.374 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.374 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.374 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.374 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.374 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.375 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.375 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.375 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.375 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.375 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.375 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.375 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.375 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.375 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.375 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.375 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.375 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.375 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.375 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.375 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.375 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.375 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.375 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.375 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.375 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.375 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.375 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.375 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.375 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.375 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.375 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.375 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.376 * [taylor]: Taking taylor expansion of 0 in lambda2 8.376 * [taylor]: Taking taylor expansion of 0 in lambda2 8.376 * [taylor]: Taking taylor expansion of 0 in lambda2 8.376 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.376 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.376 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.376 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.376 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.376 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.376 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.376 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.376 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.376 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.376 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.376 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.376 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.376 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.376 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.376 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.376 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.376 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.376 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.376 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.376 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.376 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.376 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.376 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.376 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.377 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.377 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.377 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.377 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.377 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.377 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.377 * [taylor]: Taking taylor expansion of 0 in lambda2 8.377 * [taylor]: Taking taylor expansion of 0 in lambda2 8.377 * [taylor]: Taking taylor expansion of 0 in lambda2 8.377 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 2 1) 8.377 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.377 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.377 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.377 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.377 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.377 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.377 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.377 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.377 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.377 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.378 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.378 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.378 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.378 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.378 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.378 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.378 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.378 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.378 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.378 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.378 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.378 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.378 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.378 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.378 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.378 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.378 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.378 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.378 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.379 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.379 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.379 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.379 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.379 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.379 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.379 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.379 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.379 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.379 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.379 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.379 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.380 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.380 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.380 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.380 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.380 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.380 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.380 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.380 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.380 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.380 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.380 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.380 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.380 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.380 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.380 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.380 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.380 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.380 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.380 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.380 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.380 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.380 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.380 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.380 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.380 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.380 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.381 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.381 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.381 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.381 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.381 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.381 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.381 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.381 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.381 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.381 * [taylor]: Taking taylor expansion of 0 in lambda2 8.381 * [taylor]: Taking taylor expansion of 0 in lambda2 8.381 * [taylor]: Taking taylor expansion of 0 in lambda2 8.381 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.381 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.381 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.381 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.381 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.381 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.381 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.381 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.381 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.382 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.382 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.382 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.382 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.382 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.382 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.382 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.382 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.382 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.382 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.382 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.382 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.382 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.382 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.382 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.382 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.382 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.382 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.382 * [taylor]: Taking taylor expansion of 0 in lambda2 8.382 * [taylor]: Taking taylor expansion of 0 in lambda2 8.382 * [taylor]: Taking taylor expansion of 0 in lambda2 8.383 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1 1) 8.383 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.383 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.383 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.383 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.383 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.383 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.383 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.383 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.383 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.383 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.383 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.383 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.383 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.384 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.384 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.384 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.384 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.384 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.384 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.384 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.384 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.384 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.384 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.384 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.384 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.384 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.385 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.385 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.385 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.385 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.385 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.385 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.385 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.385 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.385 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.385 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.385 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.385 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.385 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.385 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.385 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.385 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.386 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.386 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.386 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.386 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.386 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.386 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.386 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.386 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.386 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.386 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.386 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.386 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.386 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.386 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.386 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.386 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.386 * [taylor]: Taking taylor expansion of 0 in lambda2 8.386 * [taylor]: Taking taylor expansion of 0 in lambda2 8.386 * [taylor]: Taking taylor expansion of 0 in lambda2 8.387 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.387 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.387 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.387 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.387 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.387 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.387 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.387 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.387 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.387 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.387 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.387 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.387 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.387 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.387 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.387 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.387 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.387 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.387 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.387 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.387 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.387 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.387 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.387 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.387 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.387 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.387 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.387 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.388 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.388 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.388 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.388 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.388 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.388 * [taylor]: Taking taylor expansion of 0 in lambda2 8.388 * [taylor]: Taking taylor expansion of 0 in lambda2 8.388 * [taylor]: Taking taylor expansion of 0 in lambda2 8.388 * * * [progress]: simplifying candidates 8.389 * [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.516 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 8.516 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 8.519 * [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.519 * * * [progress]: adding candidates to table 8.671 * [progress]: [Phase 3 of 3] Extracting. 8.671 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # #) 8.726 * * * [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) 8.726 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # #) 8.896 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # # # # # # # #) 9.064 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # # # # # # # #) 9.234 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # #) 9.402 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # #) 9.569 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # #) 9.739 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # #) 9.908 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # #) 10.077 * * * [regime]: Found split indices: #