4.995 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 6.931 * * * [progress]: [2/2] Setting up program. 6.937 * [progress]: [Phase 2 of 3] Improving. 6.938 * [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.035 * * [simplify]: iteration 0 : 4808 enodes (cost 65 ) 7.036 * * [simplify]: iteration 1 : 4808 enodes (cost 65 ) 7.037 * [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.041 * * [progress]: iteration 1 / 4 7.041 * * * [progress]: picking best candidate 7.045 * * * * [pick]: Picked # 7.046 * * * [progress]: localizing error 7.078 * * * [progress]: generating rewritten candidates 7.078 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.090 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.095 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 7.104 * * * [progress]: generating series expansions 7.104 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.104 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.104 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.104 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.105 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.105 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.105 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.105 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.105 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.105 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.105 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.105 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.105 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.105 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.105 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.105 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.105 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.105 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.105 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.106 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.106 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.106 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.106 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.106 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.106 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.106 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.106 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.106 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.106 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.106 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.106 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.106 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.107 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.107 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.107 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.107 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.107 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.107 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.107 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.107 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.107 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.107 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.107 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.107 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.107 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.107 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.107 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.108 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.108 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.108 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.108 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.108 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.108 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.108 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.108 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.108 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.108 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.108 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.108 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.108 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.108 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.108 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.108 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.108 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.108 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.108 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.108 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.108 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.108 * [taylor]: Taking taylor expansion of 0 in lambda2 7.109 * [taylor]: Taking taylor expansion of 0 in lambda2 7.109 * [taylor]: Taking taylor expansion of 0 in lambda2 7.109 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.109 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.109 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.109 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.109 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.109 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.109 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.109 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.109 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.109 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.109 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.109 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.109 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.109 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.109 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.109 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.109 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.109 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.109 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.109 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.109 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.109 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.109 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.109 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.109 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.110 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.110 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.110 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.110 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.110 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.110 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.110 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.110 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.110 * [taylor]: Taking taylor expansion of 0 in lambda2 7.110 * [taylor]: Taking taylor expansion of 0 in lambda2 7.110 * [taylor]: Taking taylor expansion of 0 in lambda2 7.110 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.110 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.110 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.110 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.110 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.110 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.110 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.110 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.110 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.111 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.111 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.111 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.111 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.111 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.111 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.111 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.111 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.111 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.111 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.111 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.111 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.111 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.111 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.111 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.111 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.111 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.111 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.111 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.111 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.111 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.112 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.112 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.112 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.112 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.112 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.112 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.112 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.113 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.113 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.113 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.113 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.113 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.113 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.113 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.113 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.113 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.113 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.113 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.113 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.113 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.113 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.113 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.113 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.113 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.113 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.113 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.113 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.113 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.113 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.114 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.114 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.114 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.114 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.114 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.114 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.114 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.114 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.114 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.114 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.114 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.114 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.114 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.114 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.114 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.114 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.114 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.114 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.114 * [taylor]: Taking taylor expansion of 0 in lambda2 7.114 * [taylor]: Taking taylor expansion of 0 in lambda2 7.114 * [taylor]: Taking taylor expansion of 0 in lambda2 7.115 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.115 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.115 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.115 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.115 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.115 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.115 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.115 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.115 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.115 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.115 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.115 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.115 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.115 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.115 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.115 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.115 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.115 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.115 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.115 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.115 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.115 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.115 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.115 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.115 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.115 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.116 * [taylor]: Taking taylor expansion of 0 in lambda2 7.116 * [taylor]: Taking taylor expansion of 0 in lambda2 7.116 * [taylor]: Taking taylor expansion of 0 in lambda2 7.116 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 7.116 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.116 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.116 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.116 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.116 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.116 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.116 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.116 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.116 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.116 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.116 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.116 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.116 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.116 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.116 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.116 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.116 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.116 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.116 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.117 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.117 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.117 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.117 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.117 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.117 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.117 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.117 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.117 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.117 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.118 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.118 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.118 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.118 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.118 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.118 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.118 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.118 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.118 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.118 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.118 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.118 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.118 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.118 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.119 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.119 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.119 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.119 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.119 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.119 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.119 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.119 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.119 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.119 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.119 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.119 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.119 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.119 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.119 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.119 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.119 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.119 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.119 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.119 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.119 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.119 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.119 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.119 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.119 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.120 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.120 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.120 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.120 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.120 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.120 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.120 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.120 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.120 * [taylor]: Taking taylor expansion of 0 in lambda2 7.120 * [taylor]: Taking taylor expansion of 0 in lambda2 7.120 * [taylor]: Taking taylor expansion of 0 in lambda2 7.120 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.120 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.120 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.120 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.120 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.120 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.120 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.120 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.120 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.120 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.120 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.120 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.120 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.120 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.121 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.121 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.121 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.121 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.121 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.121 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.121 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.121 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.121 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.121 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.121 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.121 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.121 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.121 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.121 * [taylor]: Taking taylor expansion of 0 in lambda2 7.121 * [taylor]: Taking taylor expansion of 0 in lambda2 7.121 * [taylor]: Taking taylor expansion of 0 in lambda2 7.122 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 7.122 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.122 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.122 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.122 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.122 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.122 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.122 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.122 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.122 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.122 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.122 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.122 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.122 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.122 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.122 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.122 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.122 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.122 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.122 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.122 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.122 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.122 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.122 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.123 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.123 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.123 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.123 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.123 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.123 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.123 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.123 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.123 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.123 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.123 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.123 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.123 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.124 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.124 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.124 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.124 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.124 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.124 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.124 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.124 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.124 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.124 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.124 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.124 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.124 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.124 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.124 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.124 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.125 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.125 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.125 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.125 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.125 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.125 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.125 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.125 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.125 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.125 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.125 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.125 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.125 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.125 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.125 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.125 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.125 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.125 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.125 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.125 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.125 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.125 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.125 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.125 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.125 * [taylor]: Taking taylor expansion of 0 in lambda2 7.125 * [taylor]: Taking taylor expansion of 0 in lambda2 7.125 * [taylor]: Taking taylor expansion of 0 in lambda2 7.126 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.126 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.126 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.126 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.126 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.126 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.126 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.126 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.126 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.126 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.126 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.126 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.126 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.126 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.126 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.126 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.126 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.126 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.126 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.126 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.126 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.126 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.126 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.126 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.126 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.127 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.127 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.127 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.127 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.127 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.127 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.127 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.127 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.127 * [taylor]: Taking taylor expansion of 0 in lambda2 7.127 * [taylor]: Taking taylor expansion of 0 in lambda2 7.127 * [taylor]: Taking taylor expansion of 0 in lambda2 7.127 * * * [progress]: simplifying candidates 7.128 * [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))) 7.254 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 7.254 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 7.256 * [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)) 7.257 * * * [progress]: adding candidates to table 7.343 * * [progress]: iteration 2 / 4 7.343 * * * [progress]: picking best candidate 7.393 * * * * [pick]: Picked # 7.393 * * * [progress]: localizing error 7.433 * * * [progress]: generating rewritten candidates 7.433 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 7.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.444 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.450 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 7.456 * * * [progress]: generating series expansions 7.456 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 7.456 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.456 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.456 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.456 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.456 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.456 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.456 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.456 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.456 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.456 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.456 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.456 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.456 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.456 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.456 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.456 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.456 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.456 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.456 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.457 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.457 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.457 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.457 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.457 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.457 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.457 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.457 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.457 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.457 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.457 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.457 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.457 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.457 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.458 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.458 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.458 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.458 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.458 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.458 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.458 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.458 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.458 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.458 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.459 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.459 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.459 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.459 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.459 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.459 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.459 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.459 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.459 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.459 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.459 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.459 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.459 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.459 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.459 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.459 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.459 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.459 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.459 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.459 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.459 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.459 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.459 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.459 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.459 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.459 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.459 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.459 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.459 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.459 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.460 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.460 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.460 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.460 * [taylor]: Taking taylor expansion of 0 in lambda2 7.460 * [taylor]: Taking taylor expansion of 0 in lambda2 7.460 * [taylor]: Taking taylor expansion of 0 in lambda2 7.460 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.460 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.460 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.460 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.460 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.460 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.460 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.460 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.460 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.460 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.460 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.460 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.460 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.460 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.460 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.460 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.460 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.461 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.461 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.461 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.461 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.461 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.461 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.461 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.461 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.461 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.461 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.461 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.461 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.461 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.461 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.461 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.461 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.461 * [taylor]: Taking taylor expansion of 0 in lambda2 7.461 * [taylor]: Taking taylor expansion of 0 in lambda2 7.461 * [taylor]: Taking taylor expansion of 0 in lambda2 7.461 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.462 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.462 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.462 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.462 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.462 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.462 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.462 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.462 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.462 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.462 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.462 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.462 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.462 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.462 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.462 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.462 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.462 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.462 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.462 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.462 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.462 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.462 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.462 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.463 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.463 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.463 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.463 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.463 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.463 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.463 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.463 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.463 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.463 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.463 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.463 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.463 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.464 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.464 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.464 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.464 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.464 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.464 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.464 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.464 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.464 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.464 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.464 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.464 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.464 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.464 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.464 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.464 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.464 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.464 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.465 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.465 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.465 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.465 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.465 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.465 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.465 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.465 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.465 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.465 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.465 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.465 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.465 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.465 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.465 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.465 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.465 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.465 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.465 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.465 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.465 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.465 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.466 * [taylor]: Taking taylor expansion of 0 in lambda2 7.466 * [taylor]: Taking taylor expansion of 0 in lambda2 7.466 * [taylor]: Taking taylor expansion of 0 in lambda2 7.466 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.466 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.466 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.466 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.466 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.466 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.466 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.466 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.466 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.466 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.466 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.466 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.466 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.466 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.466 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.466 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.466 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.466 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.466 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.466 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.467 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.467 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.467 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.467 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.467 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.467 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.467 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.467 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.467 * [taylor]: Taking taylor expansion of 0 in lambda2 7.467 * [taylor]: Taking taylor expansion of 0 in lambda2 7.467 * [taylor]: Taking taylor expansion of 0 in lambda2 7.467 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 7.467 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.467 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.467 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.467 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.467 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.467 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.467 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.468 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.468 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.468 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.468 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.468 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.468 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.468 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.468 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.468 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.468 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.468 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.468 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.468 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.468 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.468 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.468 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.468 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.468 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.468 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.468 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.468 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.468 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.469 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.469 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.469 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.469 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.469 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.469 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.469 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.470 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.470 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.470 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.470 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.470 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.470 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.470 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.470 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.470 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.470 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.470 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.470 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.470 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.470 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.470 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.470 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.470 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.470 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.470 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.470 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.470 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.470 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.470 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.470 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.471 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.471 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.471 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.471 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.471 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.471 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.471 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.471 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.471 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.471 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.471 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.471 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.471 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.471 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.471 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.471 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.473 * [taylor]: Taking taylor expansion of 0 in lambda2 7.473 * [taylor]: Taking taylor expansion of 0 in lambda2 7.473 * [taylor]: Taking taylor expansion of 0 in lambda2 7.473 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.473 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.473 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.473 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.473 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.473 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.473 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.473 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.473 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.474 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.474 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.474 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.474 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.474 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.474 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.474 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.474 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.474 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.474 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.474 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.474 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.474 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.474 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.474 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.474 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.474 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.474 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.474 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.474 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.474 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.474 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.474 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.474 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.474 * [taylor]: Taking taylor expansion of 0 in lambda2 7.475 * [taylor]: Taking taylor expansion of 0 in lambda2 7.475 * [taylor]: Taking taylor expansion of 0 in lambda2 7.475 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 7.475 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.475 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.475 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.475 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.475 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.475 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.475 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.475 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.475 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.475 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.475 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.475 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.475 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.475 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.475 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.475 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.475 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.475 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.475 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.476 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.476 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.476 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.476 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.476 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.476 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.476 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.476 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.476 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.476 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.476 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.476 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.476 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.476 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.476 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.476 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.477 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.477 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.477 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.477 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.477 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.477 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.477 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.477 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.478 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.478 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.478 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.478 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.478 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.478 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.478 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.478 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.478 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.478 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.478 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.478 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.478 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.478 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.478 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.478 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.478 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.478 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.478 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.478 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.478 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.478 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.478 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.478 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.478 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.478 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.479 * [taylor]: Taking taylor expansion of 0 in lambda2 7.479 * [taylor]: Taking taylor expansion of 0 in lambda2 7.479 * [taylor]: Taking taylor expansion of 0 in lambda2 7.479 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.479 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.479 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.479 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.479 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.479 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.479 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.479 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.479 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.479 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.479 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.479 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.479 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.479 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.479 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.479 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.479 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.480 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.480 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.480 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.480 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.480 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.480 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.480 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.480 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.480 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.480 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.480 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.480 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.480 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.480 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.480 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.480 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.480 * [taylor]: Taking taylor expansion of 0 in lambda2 7.480 * [taylor]: Taking taylor expansion of 0 in lambda2 7.480 * [taylor]: Taking taylor expansion of 0 in lambda2 7.480 * * * [progress]: simplifying candidates 7.481 * [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))) 7.607 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 7.608 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 7.610 * [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)) 7.610 * * * [progress]: adding candidates to table 7.690 * * [progress]: iteration 3 / 4 7.690 * * * [progress]: picking best candidate 7.750 * * * * [pick]: Picked # 7.750 * * * [progress]: localizing error 7.791 * * * [progress]: generating rewritten candidates 7.791 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.797 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.803 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 7.809 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.815 * * * [progress]: generating series expansions 7.815 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.815 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.815 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.815 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.815 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.815 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.815 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.815 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.816 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.816 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.816 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.816 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.816 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.816 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.816 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.816 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.816 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.816 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.816 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.816 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.816 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.816 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.816 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.816 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.816 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.816 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.816 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.817 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.817 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.817 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.817 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.817 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.817 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.817 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.817 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.817 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.817 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.818 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.818 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.818 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.818 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.818 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.818 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.818 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.818 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.818 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.818 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.818 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.818 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.818 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.818 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.818 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.819 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.819 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.819 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.819 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.819 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.819 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.819 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.819 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.819 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.819 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.819 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.819 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.819 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.819 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.819 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.819 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.819 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.819 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.819 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.819 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.819 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.819 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.819 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.819 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.819 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.820 * [taylor]: Taking taylor expansion of 0 in lambda2 7.820 * [taylor]: Taking taylor expansion of 0 in lambda2 7.820 * [taylor]: Taking taylor expansion of 0 in lambda2 7.820 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.820 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.820 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.820 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.820 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.820 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.820 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.820 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.820 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.820 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.820 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.820 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.820 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.820 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.820 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.820 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.820 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.820 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.820 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.820 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.821 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.821 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.821 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.821 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.821 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.821 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.821 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.821 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.821 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.821 * [taylor]: Taking taylor expansion of 0 in lambda2 7.821 * [taylor]: Taking taylor expansion of 0 in lambda2 7.821 * [taylor]: Taking taylor expansion of 0 in lambda2 7.821 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.821 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.821 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.821 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.821 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.821 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.821 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.821 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.822 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.822 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.822 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.822 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.822 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.822 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.822 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.822 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.822 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.822 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.822 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.822 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.822 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.822 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.822 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.822 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.822 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.822 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.822 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.822 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.822 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.822 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.823 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.823 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.823 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.823 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.823 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.823 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.823 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.824 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.824 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.824 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.824 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.824 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.824 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.824 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.824 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.824 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.824 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.824 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.824 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.824 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.824 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.824 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.824 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.824 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.824 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.824 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.824 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.824 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.824 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.824 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.825 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.825 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.825 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.825 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.825 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.825 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.825 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.825 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.825 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.825 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.825 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.825 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.825 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.825 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.825 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.825 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.825 * [taylor]: Taking taylor expansion of 0 in lambda2 7.825 * [taylor]: Taking taylor expansion of 0 in lambda2 7.825 * [taylor]: Taking taylor expansion of 0 in lambda2 7.825 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.826 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.826 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.826 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.826 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.826 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.826 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.826 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.826 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.826 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.826 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.826 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.826 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.826 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.826 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.826 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.826 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.826 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.826 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.826 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.826 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.826 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.826 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.826 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.826 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.826 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.827 * [taylor]: Taking taylor expansion of 0 in lambda2 7.827 * [taylor]: Taking taylor expansion of 0 in lambda2 7.827 * [taylor]: Taking taylor expansion of 0 in lambda2 7.827 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 7.827 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.827 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.827 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.827 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.827 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.827 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.827 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.827 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.827 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.827 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.827 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.827 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.827 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.827 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.827 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.827 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.827 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.827 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.827 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.828 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.828 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.828 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.828 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.828 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.828 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.828 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.828 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.828 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.828 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.828 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.829 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.829 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.829 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.829 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.829 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.829 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.829 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.829 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.829 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.829 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.829 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.829 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.829 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.830 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.830 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.830 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.830 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.830 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.830 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.830 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.830 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.830 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.830 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.830 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.830 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.830 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.830 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.830 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.830 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.830 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.831 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.831 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.831 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.831 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.831 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.831 * [taylor]: Taking taylor expansion of 0 in lambda2 7.831 * [taylor]: Taking taylor expansion of 0 in lambda2 7.831 * [taylor]: Taking taylor expansion of 0 in lambda2 7.831 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.831 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.831 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.831 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.831 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.831 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.831 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.831 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.831 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.831 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.831 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.831 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.831 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.831 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.831 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.831 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.832 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.832 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.832 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.832 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.832 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.832 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.832 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.832 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.832 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.832 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.832 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.832 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.832 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.832 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.832 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.832 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.832 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.832 * [taylor]: Taking taylor expansion of 0 in lambda2 7.832 * [taylor]: Taking taylor expansion of 0 in lambda2 7.832 * [taylor]: Taking taylor expansion of 0 in lambda2 7.832 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.833 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.833 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.833 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.833 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.833 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.833 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.833 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.833 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.833 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.833 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.833 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.833 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.833 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.833 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.833 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.834 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.834 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.834 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.834 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.834 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.834 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.834 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.834 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.834 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.834 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.834 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.834 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.834 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.835 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.835 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.835 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.835 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.835 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.835 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.835 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.835 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.835 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.835 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.835 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.835 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.835 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.835 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.835 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.835 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.835 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.836 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.836 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.836 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.836 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.836 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.836 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.836 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.836 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.836 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.836 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.836 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.836 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.836 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.836 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.836 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.836 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.836 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.836 * [taylor]: Taking taylor expansion of 0 in lambda2 7.836 * [taylor]: Taking taylor expansion of 0 in lambda2 7.836 * [taylor]: Taking taylor expansion of 0 in lambda2 7.837 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.837 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.837 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.837 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.837 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.837 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.837 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.837 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.837 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.837 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.837 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.837 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.837 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.837 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.837 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.837 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.838 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.838 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.838 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.838 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.838 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.838 * [taylor]: Taking taylor expansion of 0 in lambda2 7.838 * [taylor]: Taking taylor expansion of 0 in lambda2 7.838 * [taylor]: Taking taylor expansion of 0 in lambda2 7.838 * * * [progress]: simplifying candidates 7.839 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 7.914 * * [simplify]: iteration 0 : 4782 enodes (cost 524 ) 7.914 * * [simplify]: iteration 1 : 4782 enodes (cost 524 ) 7.918 * [simplify]: Simplified to: (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3/2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3/2)) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 7.918 * * * [progress]: adding candidates to table 8.015 * * [progress]: iteration 4 / 4 8.015 * * * [progress]: picking best candidate 8.076 * * * * [pick]: Picked # 8.076 * * * [progress]: localizing error 8.113 * * * [progress]: generating rewritten candidates 8.113 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.120 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.125 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.131 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2 1 1) 8.138 * * * [progress]: generating series expansions 8.138 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1 2 2) 8.138 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.138 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.138 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.138 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.138 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.138 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.138 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.138 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.138 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.138 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.138 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.138 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.138 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.138 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.138 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.138 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.139 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.139 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.139 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.139 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.139 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.139 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.139 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.139 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.139 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.139 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.139 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.139 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.139 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.140 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.140 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.140 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.140 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.140 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.140 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.140 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.140 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.140 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.140 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.140 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.140 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.140 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.140 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.141 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.141 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.141 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.141 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.141 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.141 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.141 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.141 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.141 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.141 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.141 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.141 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.141 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.141 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.141 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.141 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.141 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.141 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.141 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.141 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.141 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.141 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.141 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.141 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.142 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.142 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.142 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.142 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.142 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.142 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.142 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.142 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.142 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.142 * [taylor]: Taking taylor expansion of 0 in lambda2 8.142 * [taylor]: Taking taylor expansion of 0 in lambda2 8.142 * [taylor]: Taking taylor expansion of 0 in lambda2 8.142 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.142 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.142 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.142 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.142 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.142 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.142 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.142 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.142 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.143 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.143 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.143 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.143 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.143 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.143 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.143 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.143 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.143 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.143 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.143 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.143 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.143 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.143 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.143 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.143 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.143 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.143 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.143 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.143 * [taylor]: Taking taylor expansion of 0 in lambda2 8.144 * [taylor]: Taking taylor expansion of 0 in lambda2 8.144 * [taylor]: Taking taylor expansion of 0 in lambda2 8.144 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.144 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.144 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.144 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.144 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.144 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.144 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.144 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.144 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.144 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.144 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.144 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.144 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.144 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.144 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.144 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.144 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.144 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.144 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.144 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.145 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.145 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.145 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.145 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.145 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.145 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.145 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.145 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.145 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.145 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.145 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.145 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.145 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.145 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.145 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.145 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.145 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.148 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.148 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.148 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.148 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.148 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.148 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.148 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.149 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.149 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.149 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.149 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.149 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.149 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.149 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.149 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.149 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.149 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.149 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.149 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.149 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.149 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.149 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.149 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.149 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.149 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.149 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.149 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.149 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.149 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.149 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.149 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.149 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.150 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.150 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.150 * [taylor]: Taking taylor expansion of 0 in lambda2 8.150 * [taylor]: Taking taylor expansion of 0 in lambda2 8.150 * [taylor]: Taking taylor expansion of 0 in lambda2 8.150 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.150 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.150 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.150 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.150 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.150 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.150 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.150 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.150 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.150 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.150 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.150 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.150 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.150 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.150 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.150 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.150 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.151 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.151 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.151 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.151 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.151 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.151 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.151 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.151 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.151 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.151 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.151 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.151 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.151 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.151 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.151 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.151 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.151 * [taylor]: Taking taylor expansion of 0 in lambda2 8.151 * [taylor]: Taking taylor expansion of 0 in lambda2 8.151 * [taylor]: Taking taylor expansion of 0 in lambda2 8.151 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.152 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.152 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.152 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.152 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.152 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.152 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.152 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.152 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.152 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.152 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.152 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.152 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.152 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.152 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.152 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.152 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.152 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.152 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.152 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.152 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.153 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.153 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.153 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.153 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.153 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.153 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.153 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.153 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.153 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.153 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.153 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.153 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.153 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.154 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.154 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.154 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.154 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.154 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.154 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.154 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.154 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.154 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.154 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.154 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.154 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.154 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.154 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.154 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.154 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.154 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.155 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.155 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.155 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.155 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.155 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.155 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.155 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.155 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.155 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.155 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.155 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.155 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.155 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.155 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.155 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.155 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.155 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.155 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.155 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.155 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.155 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.155 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.155 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.155 * [taylor]: Taking taylor expansion of 0 in lambda2 8.155 * [taylor]: Taking taylor expansion of 0 in lambda2 8.155 * [taylor]: Taking taylor expansion of 0 in lambda2 8.156 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.156 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.156 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.156 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.156 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.156 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.156 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.156 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.156 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.156 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.156 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.156 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.156 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.156 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.156 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.156 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.156 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.156 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.156 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.156 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.156 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.156 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.156 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.156 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.156 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.157 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.157 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.157 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.157 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.157 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.157 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.157 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.157 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.157 * [taylor]: Taking taylor expansion of 0 in lambda2 8.157 * [taylor]: Taking taylor expansion of 0 in lambda2 8.157 * [taylor]: Taking taylor expansion of 0 in lambda2 8.157 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2 1 1) 8.157 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.157 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.157 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.157 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.157 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.157 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.157 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.157 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.157 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.157 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.157 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.157 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.157 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.158 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.158 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.158 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.158 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.158 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.158 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.158 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.158 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.158 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.158 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.158 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.158 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.158 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.158 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.158 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.158 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.159 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.159 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.159 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.159 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.159 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.159 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.159 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.159 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.159 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.159 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.159 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.159 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.159 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.159 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.160 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.160 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.160 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.160 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.160 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.160 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.160 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.160 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.160 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.160 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.160 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.160 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.160 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.160 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.160 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.160 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.160 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.160 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.160 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.160 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.160 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.160 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.160 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.160 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.161 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.161 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.161 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.161 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.161 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.161 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.161 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.161 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.161 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.161 * [taylor]: Taking taylor expansion of 0 in lambda2 8.161 * [taylor]: Taking taylor expansion of 0 in lambda2 8.161 * [taylor]: Taking taylor expansion of 0 in lambda2 8.161 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.161 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.161 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.161 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.161 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.161 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.161 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.161 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.161 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.162 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.162 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.162 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.162 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.162 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.162 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.162 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.162 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.162 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.162 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.162 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.162 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.162 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.162 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.162 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.162 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.162 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.162 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.162 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.162 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.162 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.162 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.162 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.162 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.162 * [taylor]: Taking taylor expansion of 0 in lambda2 8.162 * [taylor]: Taking taylor expansion of 0 in lambda2 8.162 * [taylor]: Taking taylor expansion of 0 in lambda2 8.163 * * * [progress]: simplifying candidates 8.164 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (exp.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 8.235 * * [simplify]: iteration 0 : 4782 enodes (cost 524 ) 8.235 * * [simplify]: iteration 1 : 4782 enodes (cost 524 ) 8.238 * [simplify]: Simplified to: (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3/2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3/2)) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 8.238 * * * [progress]: adding candidates to table 8.326 * [progress]: [Phase 3 of 3] Extracting. 8.326 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 8.359 * * * [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.360 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # #) 8.467 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # #) 8.576 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # #) 8.687 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # #) 8.794 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # #) 8.900 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # #) 9.007 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # #) 9.113 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # #) 9.219 * * * [regime]: Found split indices: #