6.498 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 6.986 * * * [progress]: [2/2] Setting up program. 6.992 * [progress]: [Phase 2 of 3] Improving. 6.992 * [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.088 * * [simplify]: iteration 0 : 4808 enodes (cost 65 ) 7.088 * * [simplify]: iteration 1 : 4808 enodes (cost 65 ) 7.089 * [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.094 * * [progress]: iteration 1 / 4 7.094 * * * [progress]: picking best candidate 7.099 * * * * [pick]: Picked # 7.099 * * * [progress]: localizing error 7.133 * * * [progress]: generating rewritten candidates 7.133 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.138 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.144 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.151 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 7.157 * * * [progress]: generating series expansions 7.157 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.157 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.157 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.157 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.157 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.157 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.157 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.157 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.157 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.157 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.157 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.157 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.157 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.157 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.158 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.158 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.158 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.158 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.158 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.158 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.158 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.158 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.158 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.158 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.158 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.158 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.159 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.159 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.159 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.159 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.159 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.159 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.159 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.159 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.159 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.159 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.159 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.160 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.160 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.160 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.160 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.160 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.160 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.160 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.160 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.160 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.160 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.161 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.161 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.161 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.161 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.161 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.161 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.161 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.161 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.161 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.161 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.161 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.161 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.161 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.161 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.161 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.161 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.161 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.161 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.161 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.161 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.161 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.161 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.161 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.162 * [taylor]: Taking taylor expansion of 0 in lambda2 7.162 * [taylor]: Taking taylor expansion of 0 in lambda2 7.162 * [taylor]: Taking taylor expansion of 0 in lambda2 7.162 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.162 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.162 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.162 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.162 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.162 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.162 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.162 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.162 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.162 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.162 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.162 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.162 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.162 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.162 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.162 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.162 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.163 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.163 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.163 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.163 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.163 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.163 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.163 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.163 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.163 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.163 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.163 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.163 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.163 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.163 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.163 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.163 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.163 * [taylor]: Taking taylor expansion of 0 in lambda2 7.163 * [taylor]: Taking taylor expansion of 0 in lambda2 7.163 * [taylor]: Taking taylor expansion of 0 in lambda2 7.163 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.164 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.164 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.164 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.164 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.164 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.164 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.164 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.164 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.164 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.164 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.164 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.164 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.164 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.164 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.164 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.164 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.164 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.164 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.164 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.164 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.164 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.164 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.164 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.165 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.165 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.165 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.165 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.165 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.165 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.165 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.165 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.165 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.165 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.165 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.165 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.165 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.166 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.166 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.166 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.166 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.166 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.166 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.166 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.167 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.167 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.167 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.167 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.167 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.167 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.167 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.167 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.167 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.167 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.167 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.167 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.167 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.167 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.167 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.167 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.167 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.167 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.167 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.167 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.167 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.167 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.167 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.167 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.167 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.168 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.168 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.168 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.168 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.168 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.168 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.168 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.168 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.168 * [taylor]: Taking taylor expansion of 0 in lambda2 7.168 * [taylor]: Taking taylor expansion of 0 in lambda2 7.168 * [taylor]: Taking taylor expansion of 0 in lambda2 7.168 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.168 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.168 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.168 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.168 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.168 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.168 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.168 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.168 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.169 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.169 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.169 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.169 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.169 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.169 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.169 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.169 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.169 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.169 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.169 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.169 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.169 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.169 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.169 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.169 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.169 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.169 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.169 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.169 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.169 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.169 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.169 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.169 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.169 * [taylor]: Taking taylor expansion of 0 in lambda2 7.169 * [taylor]: Taking taylor expansion of 0 in lambda2 7.170 * [taylor]: Taking taylor expansion of 0 in lambda2 7.170 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 7.170 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.170 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.170 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.170 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.170 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.170 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.170 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.170 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.170 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.170 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.170 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.170 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.170 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.170 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.170 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.170 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.170 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.170 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.170 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.171 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.171 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.171 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.171 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.171 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.171 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.171 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.171 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.171 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.171 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.172 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.172 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.172 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.172 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.172 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.172 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.172 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.172 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.172 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.172 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.172 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.172 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.172 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.172 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.173 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.173 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.173 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.173 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.173 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.173 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.173 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.173 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.173 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.173 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.173 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.173 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.173 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.173 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.173 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.173 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.173 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.173 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.173 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.174 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.174 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.174 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.174 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.174 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.174 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.174 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.174 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.174 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.174 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.174 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.174 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.174 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.174 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.174 * [taylor]: Taking taylor expansion of 0 in lambda2 7.174 * [taylor]: Taking taylor expansion of 0 in lambda2 7.174 * [taylor]: Taking taylor expansion of 0 in lambda2 7.174 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.174 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.175 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.175 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.175 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.175 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.175 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.175 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.175 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.175 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.175 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.175 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.175 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.175 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.175 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.175 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.175 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.175 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.175 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.175 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.175 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.175 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.175 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.175 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.175 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.175 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.176 * [taylor]: Taking taylor expansion of 0 in lambda2 7.176 * [taylor]: Taking taylor expansion of 0 in lambda2 7.176 * [taylor]: Taking taylor expansion of 0 in lambda2 7.176 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 7.176 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.176 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.176 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.176 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.176 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.176 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.176 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.176 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.176 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.176 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.176 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.176 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.176 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.176 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.177 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.177 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.177 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.177 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.177 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.177 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.177 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.177 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.177 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.177 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.177 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.177 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.177 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.177 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.177 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.178 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.178 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.178 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.178 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.178 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.178 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.178 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.179 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.179 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.179 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.179 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.179 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.179 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.179 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.179 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.179 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.179 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.179 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.179 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.179 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.179 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.179 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.179 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.180 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.180 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.180 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.180 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.180 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.180 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.180 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.180 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.180 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.180 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.180 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.180 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.180 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.180 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.180 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.180 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.180 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.180 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.180 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.180 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.180 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.180 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.180 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.180 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.181 * [taylor]: Taking taylor expansion of 0 in lambda2 7.181 * [taylor]: Taking taylor expansion of 0 in lambda2 7.181 * [taylor]: Taking taylor expansion of 0 in lambda2 7.181 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.181 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.181 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.181 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.181 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.181 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.181 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.181 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.181 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.181 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.181 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.181 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.181 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.181 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.181 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.181 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.181 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.181 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.181 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.181 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.181 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.181 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.181 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.181 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.181 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.182 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.182 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.182 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.182 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.182 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.182 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.182 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.182 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.182 * [taylor]: Taking taylor expansion of 0 in lambda2 7.182 * [taylor]: Taking taylor expansion of 0 in lambda2 7.182 * [taylor]: Taking taylor expansion of 0 in lambda2 7.182 * * * [progress]: simplifying candidates 7.183 * [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.311 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 7.311 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 7.314 * [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.314 * * * [progress]: adding candidates to table 7.418 * * [progress]: iteration 2 / 4 7.418 * * * [progress]: picking best candidate 7.488 * * * * [pick]: Picked # 7.488 * * * [progress]: localizing error 7.529 * * * [progress]: generating rewritten candidates 7.529 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 7.540 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.545 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.551 * * * [progress]: generating series expansions 7.551 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.552 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.552 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.552 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.552 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.552 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.552 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.552 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.552 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.552 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.552 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.552 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.552 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.552 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.552 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.552 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.552 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.552 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.552 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.552 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.553 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.553 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.553 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.553 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.553 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.553 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.553 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.553 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.553 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.553 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.554 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.554 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.554 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.554 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.554 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.554 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.554 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.554 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.554 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.554 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.554 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.554 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.554 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.554 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.555 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.555 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.555 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.555 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.555 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.555 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.555 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.555 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.555 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.555 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.555 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.555 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.555 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.555 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.555 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.555 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.555 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.556 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.556 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.556 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.556 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.556 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.556 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.556 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.556 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.556 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.556 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.556 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.556 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.556 * [taylor]: Taking taylor expansion of 0 in lambda2 7.556 * [taylor]: Taking taylor expansion of 0 in lambda2 7.556 * [taylor]: Taking taylor expansion of 0 in lambda2 7.557 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.557 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.557 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.557 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.557 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.557 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.557 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.557 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.557 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.557 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.557 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.557 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.557 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.557 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.557 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.557 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.557 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.557 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.557 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.557 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.557 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.557 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.557 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.557 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.557 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.558 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.558 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.558 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.558 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.558 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.558 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.558 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.558 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.558 * [taylor]: Taking taylor expansion of 0 in lambda2 7.558 * [taylor]: Taking taylor expansion of 0 in lambda2 7.558 * [taylor]: Taking taylor expansion of 0 in lambda2 7.558 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 7.558 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.558 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.558 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.558 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.559 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.559 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.559 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.559 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.559 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.559 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.559 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.559 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.559 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.559 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.559 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.559 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.559 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.559 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.559 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.559 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.559 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.559 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.559 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.560 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.560 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.560 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.560 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.560 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.560 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.560 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.560 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.560 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.560 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.560 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.560 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.560 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.561 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.561 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.561 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.561 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.561 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.561 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.561 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.562 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.562 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.562 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.562 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.562 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.562 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.562 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.562 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.562 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.562 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.562 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.562 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.562 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.562 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.562 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.562 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.562 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.562 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.562 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.562 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.562 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.562 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.562 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.562 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.562 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.563 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.563 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.563 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.563 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.563 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.563 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.563 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.563 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.563 * [taylor]: Taking taylor expansion of 0 in lambda2 7.563 * [taylor]: Taking taylor expansion of 0 in lambda2 7.563 * [taylor]: Taking taylor expansion of 0 in lambda2 7.563 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.563 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.563 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.563 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.563 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.563 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.563 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.563 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.563 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.564 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.564 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.564 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.564 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.564 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.564 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.564 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.564 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.564 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.564 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.564 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.564 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.564 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.564 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.564 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.564 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.564 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.564 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.564 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.564 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.564 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.564 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.564 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.564 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.564 * [taylor]: Taking taylor expansion of 0 in lambda2 7.565 * [taylor]: Taking taylor expansion of 0 in lambda2 7.565 * [taylor]: Taking taylor expansion of 0 in lambda2 7.565 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.565 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.565 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.565 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.565 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.565 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.565 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.565 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.565 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.565 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.565 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.565 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.565 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.565 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.565 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.565 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.565 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.565 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.565 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.565 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.566 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.566 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.566 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.566 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.566 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.566 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.566 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.566 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.566 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.566 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.567 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.567 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.567 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.567 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.567 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.567 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.567 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.567 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.567 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.567 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.567 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.567 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.567 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.567 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.568 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.568 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.568 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.568 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.568 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.568 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.568 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.568 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.568 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.568 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.568 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.568 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.568 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.568 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.568 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.568 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.568 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.568 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.568 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.569 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.569 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.569 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.569 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.569 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.569 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.569 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.569 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.569 * [taylor]: Taking taylor expansion of 0 in lambda2 7.569 * [taylor]: Taking taylor expansion of 0 in lambda2 7.569 * [taylor]: Taking taylor expansion of 0 in lambda2 7.569 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.569 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.569 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.569 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.570 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.570 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.570 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.570 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.570 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.570 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.570 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.570 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.570 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.570 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.570 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.570 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.570 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.570 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.570 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.570 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.570 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.570 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.570 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.570 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.570 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.570 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.571 * [taylor]: Taking taylor expansion of 0 in lambda2 7.571 * [taylor]: Taking taylor expansion of 0 in lambda2 7.571 * [taylor]: Taking taylor expansion of 0 in lambda2 7.571 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.571 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.571 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.571 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.571 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.571 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.571 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.571 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.571 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.571 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.571 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.571 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.571 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.571 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.571 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.571 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.571 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.571 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.571 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.571 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.572 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.572 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.572 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.572 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.572 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.572 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.572 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.572 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.572 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.572 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.573 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.573 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.573 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.573 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.573 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.573 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.573 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.574 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.574 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.574 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.574 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.574 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.574 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.574 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.574 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.574 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.574 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.574 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.574 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.574 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.574 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.574 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.574 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.575 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.575 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.575 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.575 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.575 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.575 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.575 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.575 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.575 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.575 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.575 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.575 * [taylor]: Taking taylor expansion of 0 in lambda2 7.575 * [taylor]: Taking taylor expansion of 0 in lambda2 7.576 * [taylor]: Taking taylor expansion of 0 in lambda2 7.576 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.576 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.576 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.576 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.576 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.576 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.576 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.576 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.576 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.576 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.576 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.576 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.576 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.576 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.576 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.576 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.577 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.577 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.577 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.577 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.577 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.577 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.577 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.577 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.577 * [taylor]: Taking taylor expansion of 0 in lambda2 7.577 * [taylor]: Taking taylor expansion of 0 in lambda2 7.577 * [taylor]: Taking taylor expansion of 0 in lambda2 7.577 * * * [progress]: simplifying candidates 7.582 * [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.652 * * [simplify]: iteration 0 : 4782 enodes (cost 524 ) 7.652 * * [simplify]: iteration 1 : 4782 enodes (cost 524 ) 7.655 * [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.656 * * * [progress]: adding candidates to table 7.766 * * [progress]: iteration 3 / 4 7.766 * * * [progress]: picking best candidate 7.842 * * * * [pick]: Picked # 7.842 * * * [progress]: localizing error 7.890 * * * [progress]: generating rewritten candidates 7.890 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.896 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 7.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 7.907 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.913 * * * [progress]: generating series expansions 7.913 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.914 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.914 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.914 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.914 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.914 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.914 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.914 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.914 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.914 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.914 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.914 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.914 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.914 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.914 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.914 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.914 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.914 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.914 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.914 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.914 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.914 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.914 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.915 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.915 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.915 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.915 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.915 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.915 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.915 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.915 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.915 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.915 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.915 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.916 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.916 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.916 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.916 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.916 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.916 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.916 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.916 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.916 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.917 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.917 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.917 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.917 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.917 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.917 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.917 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.917 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.917 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.917 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.917 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.917 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.917 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.917 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.917 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.917 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.917 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.917 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.917 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.917 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.917 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.917 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.918 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.918 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.918 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.918 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.918 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.918 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.918 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.918 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.918 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.918 * [taylor]: Taking taylor expansion of 0 in lambda2 7.918 * [taylor]: Taking taylor expansion of 0 in lambda2 7.918 * [taylor]: Taking taylor expansion of 0 in lambda2 7.918 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.918 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.918 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.918 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.918 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.918 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.918 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.919 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.919 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.919 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.919 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.919 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.919 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.919 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.919 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.919 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.919 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.919 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.919 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.919 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.919 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.919 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.919 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.919 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.919 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.919 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.919 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.919 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.919 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.919 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.919 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.919 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.919 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.920 * [taylor]: Taking taylor expansion of 0 in lambda2 7.920 * [taylor]: Taking taylor expansion of 0 in lambda2 7.920 * [taylor]: Taking taylor expansion of 0 in lambda2 7.920 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 7.920 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.920 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.920 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.920 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.920 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.920 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.920 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.920 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.920 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.920 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.920 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.920 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.920 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.920 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.921 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.921 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.921 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.921 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.921 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.921 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.921 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.921 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.921 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.922 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.922 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.922 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.922 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.922 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.922 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.922 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.922 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.923 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.923 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.923 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.923 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.923 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.923 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.923 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.923 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.923 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.923 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.923 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.923 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.923 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.923 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.923 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.923 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.923 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.923 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.923 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.923 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.923 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.923 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.923 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.924 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.924 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.924 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.924 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.924 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.924 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.924 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.924 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.924 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.924 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.924 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.924 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.924 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.924 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.924 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.924 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.924 * [taylor]: Taking taylor expansion of 0 in lambda2 7.924 * [taylor]: Taking taylor expansion of 0 in lambda2 7.924 * [taylor]: Taking taylor expansion of 0 in lambda2 7.925 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.925 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.925 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.925 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.925 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.925 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.925 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.925 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.925 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.925 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.925 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.925 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.925 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.925 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.925 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.925 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.925 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.925 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.925 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.925 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.925 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.925 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.925 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.925 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.925 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.926 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.926 * [taylor]: Taking taylor expansion of 0 in lambda2 7.926 * [taylor]: Taking taylor expansion of 0 in lambda2 7.926 * [taylor]: Taking taylor expansion of 0 in lambda2 7.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 7.926 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.926 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.926 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.926 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.926 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.926 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.926 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.926 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.926 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.926 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.926 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.926 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.926 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.926 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.926 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.926 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.927 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.927 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.927 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.927 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.927 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.927 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.927 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.927 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.927 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.927 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.927 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.927 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.927 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.928 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.928 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.928 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.928 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.928 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.928 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.928 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.929 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.929 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.929 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.929 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.929 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.929 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.929 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.929 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.929 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.929 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.929 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.929 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.929 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.929 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.929 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.929 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.929 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.929 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.929 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.929 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.930 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.930 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.930 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.930 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.930 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.930 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.930 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.930 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.930 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.930 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.930 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.930 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.930 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.930 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.930 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.930 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.930 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.930 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.930 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.930 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.930 * [taylor]: Taking taylor expansion of 0 in lambda2 7.930 * [taylor]: Taking taylor expansion of 0 in lambda2 7.930 * [taylor]: Taking taylor expansion of 0 in lambda2 7.931 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.931 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.931 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.931 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.931 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.931 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.931 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.931 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.931 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.931 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.931 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.931 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.931 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.931 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.931 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.931 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.931 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.931 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.931 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.931 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.931 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.931 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.931 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.931 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.931 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.932 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.932 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.932 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.932 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.932 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.932 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.932 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.932 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.932 * [taylor]: Taking taylor expansion of 0 in lambda2 7.932 * [taylor]: Taking taylor expansion of 0 in lambda2 7.932 * [taylor]: Taking taylor expansion of 0 in lambda2 7.932 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.932 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.932 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.932 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.932 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.932 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.932 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.932 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.932 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.932 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.932 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.932 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.932 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.932 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.933 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.933 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.933 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.933 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.933 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.933 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.933 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.933 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.933 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.933 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.933 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.933 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.933 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.933 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.933 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.933 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.934 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.934 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.934 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.934 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.934 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.934 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.934 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.935 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.935 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.935 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.935 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.935 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.935 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.935 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.935 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.935 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.935 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.935 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.935 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.935 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.935 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.935 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.935 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.936 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.936 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.936 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.936 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.936 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.936 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.936 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.936 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.936 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.936 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.936 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.936 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.936 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.936 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.936 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.936 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.936 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.936 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.936 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.936 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.936 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.936 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.936 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.936 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.936 * [taylor]: Taking taylor expansion of 0 in lambda2 7.937 * [taylor]: Taking taylor expansion of 0 in lambda2 7.937 * [taylor]: Taking taylor expansion of 0 in lambda2 7.937 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.937 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.937 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.937 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.937 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.937 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.937 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.937 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.937 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.937 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.937 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.937 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.937 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.937 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.937 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.937 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.937 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.937 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.937 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.937 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.937 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.937 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.937 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.937 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.937 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.938 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.938 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.938 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.938 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.938 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.938 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.938 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.938 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.938 * [taylor]: Taking taylor expansion of 0 in lambda2 7.938 * [taylor]: Taking taylor expansion of 0 in lambda2 7.938 * [taylor]: Taking taylor expansion of 0 in lambda2 7.938 * * * [progress]: simplifying candidates 7.939 * [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.010 * * [simplify]: iteration 0 : 4782 enodes (cost 524 ) 8.010 * * [simplify]: iteration 1 : 4782 enodes (cost 524 ) 8.013 * [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.014 * * * [progress]: adding candidates to table 8.125 * * [progress]: iteration 4 / 4 8.125 * * * [progress]: picking best candidate 8.202 * * * * [pick]: Picked # 8.203 * * * [progress]: localizing error 8.246 * * * [progress]: generating rewritten candidates 8.246 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.256 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 8.262 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1 1 1) 8.267 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.275 * * * [progress]: generating series expansions 8.275 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.276 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.276 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.276 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.276 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.276 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.276 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.276 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.276 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.276 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.276 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.276 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.276 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.276 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.276 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.276 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.276 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.276 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.276 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.276 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.276 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.276 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.277 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.277 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.277 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.277 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.277 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.277 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.277 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.277 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.277 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.278 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.278 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.278 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.278 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.278 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.278 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.278 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.278 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.278 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.278 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.278 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.278 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.278 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.279 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.279 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.279 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.279 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.279 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.279 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.279 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.279 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.279 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.279 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.279 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.279 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.279 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.279 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.279 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.279 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.279 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.280 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.280 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.280 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.280 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.280 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.280 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.280 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.280 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.280 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.280 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.280 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.280 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.280 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.280 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.280 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.280 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.280 * [taylor]: Taking taylor expansion of 0 in lambda2 8.280 * [taylor]: Taking taylor expansion of 0 in lambda2 8.280 * [taylor]: Taking taylor expansion of 0 in lambda2 8.281 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.281 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.281 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.281 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.281 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.281 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.281 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.281 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.281 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.281 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.281 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.281 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.281 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.281 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.281 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.281 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.281 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.281 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.281 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.281 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.281 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.281 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.281 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.282 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.282 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.282 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.282 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.282 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.282 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.282 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.282 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.282 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.282 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.282 * [taylor]: Taking taylor expansion of 0 in lambda2 8.282 * [taylor]: Taking taylor expansion of 0 in lambda2 8.282 * [taylor]: Taking taylor expansion of 0 in lambda2 8.282 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 8.283 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.283 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.283 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.283 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.283 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.283 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.283 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.283 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.283 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.283 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.283 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.283 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.283 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.283 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.283 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.283 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.283 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.283 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.283 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.283 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.283 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.283 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.283 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.284 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.284 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.284 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.284 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.284 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.284 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.284 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.284 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.284 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.284 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.284 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.284 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.284 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.285 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.285 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.285 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.285 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.285 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.285 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.285 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.286 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.286 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.286 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.286 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.286 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.286 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.286 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.286 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.286 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.286 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.286 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.286 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.286 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.286 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.286 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.286 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.286 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.286 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.286 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.286 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.286 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.286 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.286 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.286 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.286 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.287 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.287 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.287 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.287 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.287 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.287 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.287 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.287 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.287 * [taylor]: Taking taylor expansion of 0 in lambda2 8.287 * [taylor]: Taking taylor expansion of 0 in lambda2 8.287 * [taylor]: Taking taylor expansion of 0 in lambda2 8.287 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.287 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.287 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.287 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.287 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.287 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.287 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.287 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.287 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.288 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.288 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.288 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.288 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.288 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.288 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.288 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.288 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.288 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.288 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.288 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.288 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.288 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.288 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.288 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.288 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.288 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.288 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.288 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.288 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.288 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.288 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.288 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.288 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.289 * [taylor]: Taking taylor expansion of 0 in lambda2 8.289 * [taylor]: Taking taylor expansion of 0 in lambda2 8.289 * [taylor]: Taking taylor expansion of 0 in lambda2 8.289 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1 1 1) 8.289 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.289 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.289 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.289 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.289 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.289 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.289 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.289 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.289 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.289 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.289 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.289 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.289 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.289 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.289 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.289 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.289 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.289 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.289 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.290 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.290 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.290 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.290 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.290 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.290 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.290 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.290 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.290 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.290 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.291 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.291 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.291 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.291 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.291 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.291 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.291 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.292 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.292 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.292 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.292 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.292 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.292 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.292 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.292 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.292 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.292 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.292 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.292 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.292 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.292 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.292 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.292 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.292 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.292 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.292 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.292 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.292 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.292 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.292 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.292 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.293 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.293 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.293 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.293 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.293 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.293 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.293 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.293 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.293 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.293 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.293 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.293 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.293 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.293 * [taylor]: Taking taylor expansion of 0 in lambda2 8.293 * [taylor]: Taking taylor expansion of 0 in lambda2 8.293 * [taylor]: Taking taylor expansion of 0 in lambda2 8.294 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.294 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.294 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.294 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.294 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.294 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.294 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.294 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.294 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.294 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.294 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.294 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.294 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.294 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.294 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.294 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.294 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.294 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.294 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.294 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.295 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.295 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.295 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.295 * [taylor]: Taking taylor expansion of 0 in lambda2 8.295 * [taylor]: Taking taylor expansion of 0 in lambda2 8.295 * [taylor]: Taking taylor expansion of 0 in lambda2 8.295 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.295 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.295 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.295 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.295 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.295 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.295 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.295 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.295 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.295 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.295 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.295 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.295 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.295 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.296 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.296 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.296 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.296 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.296 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.296 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.296 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.296 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.296 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.296 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.296 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.296 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.296 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.296 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.296 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.296 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.297 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.297 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.297 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.297 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.297 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.297 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.297 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.298 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.298 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.298 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.298 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.298 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.298 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.298 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.298 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.298 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.298 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.298 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.298 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.298 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.298 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.298 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.298 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.299 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.299 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.299 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.299 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.299 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.299 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.299 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.299 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.299 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.299 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.299 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.299 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.299 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.299 * [taylor]: Taking taylor expansion of 0 in lambda2 8.299 * [taylor]: Taking taylor expansion of 0 in lambda2 8.300 * [taylor]: Taking taylor expansion of 0 in lambda2 8.300 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.300 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.300 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.300 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.300 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.300 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.300 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.300 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.300 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.300 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.300 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.300 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.300 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.300 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.300 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.300 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.300 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.300 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.300 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.300 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.301 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.301 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.301 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.301 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.301 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.301 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.301 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.301 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.301 * [taylor]: Taking taylor expansion of 0 in lambda2 8.301 * [taylor]: Taking taylor expansion of 0 in lambda2 8.301 * [taylor]: Taking taylor expansion of 0 in lambda2 8.301 * * * [progress]: simplifying candidates 8.303 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (exp.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (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 (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)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 1) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) 3)) (cbrt.f64 (pow.f64 (*.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)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (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 (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)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 1 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 1) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (/.f64 3 2))) 3)) (cbrt.f64 (pow.f64 (*.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)))) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) 3)) (cbrt.f64 (pow.f64 1 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)))) (cbrt.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (/.f64 3 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) (/.f64 3 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)))) (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3)) 3))) (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 (*.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.357 * * [simplify]: iteration 0 : 4795 enodes (cost 1016 ) 8.358 * * [simplify]: iteration 1 : 4795 enodes (cost 1016 ) 8.363 * [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))) (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)) (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))) (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))) (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 (/.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.364 * * * [progress]: adding candidates to table 8.472 * [progress]: [Phase 3 of 3] Extracting. 8.472 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 8.502 * * * [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.502 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # #) 8.633 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # #) 8.766 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # #) 8.897 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # #) 9.027 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # #) 9.157 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # #) 9.287 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # #) 9.416 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # #) 9.547 * * * [regime]: Found split indices: #