2.908 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 7.040 * * * [progress]: [2/2] Setting up program. 7.046 * [progress]: [Phase 2 of 3] Improving. 7.046 * [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.142 * * [simplify]: iteration 0 : 4808 enodes (cost 65 ) 7.142 * * [simplify]: iteration 1 : 4808 enodes (cost 65 ) 7.143 * [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.149 * * [progress]: iteration 1 / 4 7.149 * * * [progress]: picking best candidate 7.158 * * * * [pick]: Picked # 7.158 * * * [progress]: localizing error 7.193 * * * [progress]: generating rewritten candidates 7.193 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.198 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.204 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.209 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 7.215 * * * [progress]: generating series expansions 7.215 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.215 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.215 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.215 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.215 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.215 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.215 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.215 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.215 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.215 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.215 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.215 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.215 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.215 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.216 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.216 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.216 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.216 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.216 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.216 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.216 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.216 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.216 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.216 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.216 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.216 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.216 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.216 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.216 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.216 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.217 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.217 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.217 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.217 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.217 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.217 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.217 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.217 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.217 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.218 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.218 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.218 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.218 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.218 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.218 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.218 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.218 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.218 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.218 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.218 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.218 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.218 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.218 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.218 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.218 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.218 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.218 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.218 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.218 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.218 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.218 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.218 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.218 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.219 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.219 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.219 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.219 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.219 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.219 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.219 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.219 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.219 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.219 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.219 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.219 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.219 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.219 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.219 * [taylor]: Taking taylor expansion of 0 in lambda2 7.219 * [taylor]: Taking taylor expansion of 0 in lambda2 7.219 * [taylor]: Taking taylor expansion of 0 in lambda2 7.219 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.219 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.219 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.219 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.219 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.219 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.219 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.220 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.220 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.220 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.220 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.220 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.220 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.220 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.220 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.220 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.220 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.220 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.220 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.220 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.220 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.220 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.220 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.220 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.220 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.220 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.220 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.220 * [taylor]: Taking taylor expansion of 0 in lambda2 7.221 * [taylor]: Taking taylor expansion of 0 in lambda2 7.221 * [taylor]: Taking taylor expansion of 0 in lambda2 7.221 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.221 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.221 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.221 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.221 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.221 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.221 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.221 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.221 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.221 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.221 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.221 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.221 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.221 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.221 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.221 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.221 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.221 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.221 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.221 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.221 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.222 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.222 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.222 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.222 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.222 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.222 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.222 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.222 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.222 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.222 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.222 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.222 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.222 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.222 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.222 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.222 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.223 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.223 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.223 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.223 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.223 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.223 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.223 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.223 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.223 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.223 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.224 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.224 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.224 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.224 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.224 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.224 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.224 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.224 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.224 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.224 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.224 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.224 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.224 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.224 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.224 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.224 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.224 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.224 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.224 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.224 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.224 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.224 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.224 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.225 * [taylor]: Taking taylor expansion of 0 in lambda2 7.225 * [taylor]: Taking taylor expansion of 0 in lambda2 7.225 * [taylor]: Taking taylor expansion of 0 in lambda2 7.225 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.225 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.225 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.225 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.225 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.225 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.225 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.225 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.225 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.225 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.225 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.225 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.225 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.225 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.225 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.225 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.225 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.225 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.225 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.225 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.225 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.225 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.225 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.226 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.226 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.226 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.226 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.226 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.226 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.226 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.226 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.226 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.226 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.226 * [taylor]: Taking taylor expansion of 0 in lambda2 7.226 * [taylor]: Taking taylor expansion of 0 in lambda2 7.226 * [taylor]: Taking taylor expansion of 0 in lambda2 7.226 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 7.226 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.226 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.226 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.226 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.226 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.226 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.226 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.227 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.227 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.227 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.227 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.227 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.227 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.227 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.227 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.227 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.227 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.227 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.227 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.227 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.227 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.227 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.227 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.227 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.227 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.227 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.227 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.227 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.227 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.228 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.228 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.228 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.228 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.228 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.228 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.228 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.228 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.229 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.229 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.229 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.229 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.229 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.229 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.229 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.229 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.229 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.229 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.229 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.229 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.229 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.229 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.229 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.229 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.229 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.229 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.229 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.229 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.229 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.229 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.229 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.230 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.230 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.230 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.230 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.230 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.230 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.230 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.230 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.230 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.230 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.230 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.230 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.230 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.230 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.230 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.230 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.230 * [taylor]: Taking taylor expansion of 0 in lambda2 7.230 * [taylor]: Taking taylor expansion of 0 in lambda2 7.230 * [taylor]: Taking taylor expansion of 0 in lambda2 7.230 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.230 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.230 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.230 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.230 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.230 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.231 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.231 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.231 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.231 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.231 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.231 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.231 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.231 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.231 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.231 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.231 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.231 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.231 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.231 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.231 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.231 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.231 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.231 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.231 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.231 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.231 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.231 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.231 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.231 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.231 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.231 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.231 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.232 * [taylor]: Taking taylor expansion of 0 in lambda2 7.232 * [taylor]: Taking taylor expansion of 0 in lambda2 7.232 * [taylor]: Taking taylor expansion of 0 in lambda2 7.232 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 7.232 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.232 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.232 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.232 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.232 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.232 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.232 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.232 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.232 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.232 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.232 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.232 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.232 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.232 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.232 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.232 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.232 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.232 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.232 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.233 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.233 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.233 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.233 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.233 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.233 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.233 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.233 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.233 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.233 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.233 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.233 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.233 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.233 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.234 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.234 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.234 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.234 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.234 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.234 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.234 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.234 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.234 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.234 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.235 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.235 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.235 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.235 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.235 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.235 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.235 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.235 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.235 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.235 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.235 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.235 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.235 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.235 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.235 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.235 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.235 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.235 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.235 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.235 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.235 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.235 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.235 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.235 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.235 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.236 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.236 * [taylor]: Taking taylor expansion of 0 in lambda2 7.236 * [taylor]: Taking taylor expansion of 0 in lambda2 7.236 * [taylor]: Taking taylor expansion of 0 in lambda2 7.236 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.236 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.236 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.236 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.236 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.236 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.236 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.236 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.236 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.236 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.236 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.236 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.236 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.236 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.236 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.236 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.236 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.237 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.237 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.237 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.237 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.237 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.237 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.237 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.237 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.237 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.237 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.237 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.237 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.237 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.237 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.237 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.237 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.237 * [taylor]: Taking taylor expansion of 0 in lambda2 7.237 * [taylor]: Taking taylor expansion of 0 in lambda2 7.237 * [taylor]: Taking taylor expansion of 0 in lambda2 7.237 * * * [progress]: simplifying candidates 7.238 * [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.366 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 7.366 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 7.369 * [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.369 * * * [progress]: adding candidates to table 7.474 * * [progress]: iteration 2 / 4 7.474 * * * [progress]: picking best candidate 7.530 * * * * [pick]: Picked # 7.530 * * * [progress]: localizing error 7.569 * * * [progress]: generating rewritten candidates 7.569 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.575 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 7.581 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.586 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.592 * * * [progress]: generating series expansions 7.592 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.592 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.592 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.592 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.592 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.592 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.592 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.592 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.593 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.593 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.593 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.593 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.593 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.593 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.593 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.593 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.593 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.593 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.593 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.593 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.593 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.593 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.593 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.593 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.593 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.593 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.593 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.593 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.593 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.593 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.594 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.594 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.594 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.594 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.594 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.594 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.594 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.595 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.595 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.595 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.595 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.595 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.595 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.595 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.595 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.595 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.595 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.595 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.595 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.595 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.595 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.595 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.595 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.595 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.595 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.595 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.595 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.595 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.595 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.595 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.595 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.596 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.596 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.596 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.596 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.596 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.596 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.596 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.596 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.596 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.596 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.596 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.596 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.596 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.596 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.596 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.596 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.596 * [taylor]: Taking taylor expansion of 0 in lambda2 7.596 * [taylor]: Taking taylor expansion of 0 in lambda2 7.596 * [taylor]: Taking taylor expansion of 0 in lambda2 7.597 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.597 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.597 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.597 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.597 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.597 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.597 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.597 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.597 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.599 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.599 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.599 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.599 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.599 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.599 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.599 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.599 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.599 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.599 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.599 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.599 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.599 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.599 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.599 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.599 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.599 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.599 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.600 * [taylor]: Taking taylor expansion of 0 in lambda2 7.600 * [taylor]: Taking taylor expansion of 0 in lambda2 7.600 * [taylor]: Taking taylor expansion of 0 in lambda2 7.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 7.600 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.600 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.600 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.600 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.600 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.600 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.600 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.600 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.600 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.600 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.600 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.600 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.600 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.600 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.600 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.600 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.600 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.600 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.600 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.601 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.601 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.601 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.601 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.601 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.601 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.601 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.601 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.601 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.601 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.602 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.602 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.602 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.602 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.602 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.602 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.602 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.602 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.602 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.602 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.602 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.602 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.602 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.602 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.603 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.603 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.603 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.603 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.603 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.603 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.603 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.603 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.603 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.603 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.603 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.603 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.603 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.603 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.603 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.603 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.603 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.603 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.603 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.603 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.603 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.603 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.603 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.603 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.603 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.604 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.604 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.604 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.604 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.604 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.604 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.604 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.604 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.604 * [taylor]: Taking taylor expansion of 0 in lambda2 7.604 * [taylor]: Taking taylor expansion of 0 in lambda2 7.604 * [taylor]: Taking taylor expansion of 0 in lambda2 7.604 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.604 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.604 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.604 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.604 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.604 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.604 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.604 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.604 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.604 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.604 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.604 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.605 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.605 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.605 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.605 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.605 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.605 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.605 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.605 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.605 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.605 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.605 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.605 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.605 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.605 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.605 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.605 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.605 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.605 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.605 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.605 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.605 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.605 * [taylor]: Taking taylor expansion of 0 in lambda2 7.605 * [taylor]: Taking taylor expansion of 0 in lambda2 7.605 * [taylor]: Taking taylor expansion of 0 in lambda2 7.606 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.606 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.606 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.606 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.606 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.606 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.606 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.606 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.606 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.606 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.606 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.606 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.606 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.606 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.606 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.606 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.606 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.606 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.606 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.606 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.606 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.606 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.606 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.606 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.607 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.607 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.607 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.607 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.607 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.607 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.607 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.607 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.607 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.607 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.607 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.607 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.607 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.608 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.608 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.608 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.608 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.608 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.608 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.608 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.608 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.608 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.608 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.608 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.608 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.608 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.608 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.608 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.608 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.609 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.609 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.609 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.609 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.609 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.609 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.609 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.609 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.609 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.609 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.609 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.609 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.609 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.609 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.609 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.609 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.609 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.609 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.609 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.609 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.609 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.609 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.609 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.609 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.609 * [taylor]: Taking taylor expansion of 0 in lambda2 7.609 * [taylor]: Taking taylor expansion of 0 in lambda2 7.609 * [taylor]: Taking taylor expansion of 0 in lambda2 7.610 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.610 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.610 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.610 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.610 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.610 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.610 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.610 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.610 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.610 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.610 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.610 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.610 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.610 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.610 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.610 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.610 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.610 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.610 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.610 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.610 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.610 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.610 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.610 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.610 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.610 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.611 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.611 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.611 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.611 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.611 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.611 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.611 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.611 * [taylor]: Taking taylor expansion of 0 in lambda2 7.611 * [taylor]: Taking taylor expansion of 0 in lambda2 7.611 * [taylor]: Taking taylor expansion of 0 in lambda2 7.611 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.611 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.611 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.611 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.611 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.611 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.611 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.611 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.611 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.611 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.611 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.611 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.611 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.611 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.612 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.612 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.612 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.612 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.612 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.612 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.612 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.612 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.612 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.612 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.612 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.612 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.612 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.612 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.612 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.612 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.613 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.613 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.613 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.613 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.613 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.613 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.613 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.613 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.613 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.613 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.613 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.613 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.613 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.613 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.614 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.614 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.614 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.614 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.614 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.614 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.614 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.614 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.614 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.614 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.614 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.614 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.614 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.614 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.614 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.614 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.614 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.614 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.614 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.615 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.615 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.615 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.615 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.615 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.615 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.615 * [taylor]: Taking taylor expansion of 0 in lambda2 7.615 * [taylor]: Taking taylor expansion of 0 in lambda2 7.615 * [taylor]: Taking taylor expansion of 0 in lambda2 7.615 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.615 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.615 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.615 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.615 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.615 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.615 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.615 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.615 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.615 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.615 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.616 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.616 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.616 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.616 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.616 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.616 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.616 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.616 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.616 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.616 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.616 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.616 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.616 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.616 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.616 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.616 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.616 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.616 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.616 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.616 * [taylor]: Taking taylor expansion of 0 in lambda2 7.616 * [taylor]: Taking taylor expansion of 0 in lambda2 7.616 * [taylor]: Taking taylor expansion of 0 in lambda2 7.617 * * * [progress]: simplifying candidates 7.617 * [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.688 * * [simplify]: iteration 0 : 4782 enodes (cost 524 ) 7.688 * * [simplify]: iteration 1 : 4782 enodes (cost 524 ) 7.691 * [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.692 * * * [progress]: adding candidates to table 7.810 * * [progress]: iteration 3 / 4 7.810 * * * [progress]: picking best candidate 7.885 * * * * [pick]: Picked # 7.885 * * * [progress]: localizing error 7.929 * * * [progress]: generating rewritten candidates 7.929 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.935 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 2 1) 7.940 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 2 1) 7.946 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1 1) 7.953 * * * [progress]: generating series expansions 7.953 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.953 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.953 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.953 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.953 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.953 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.953 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.953 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.953 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.954 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.954 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.954 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.954 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.954 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.954 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.954 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.954 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.954 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.954 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.954 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.954 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.954 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.954 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.954 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.954 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.954 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.954 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.954 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.954 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.954 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.955 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.955 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.955 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.955 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.955 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.955 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.955 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.956 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.956 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.956 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.956 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.956 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.956 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.956 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.956 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.956 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.956 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.956 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.956 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.956 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.956 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.956 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.956 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.956 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.956 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.956 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.956 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.956 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.956 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.956 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.956 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.957 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.957 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.957 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.957 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.957 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.957 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.957 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.957 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.957 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.957 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.957 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.957 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.957 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.957 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.957 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.957 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.957 * [taylor]: Taking taylor expansion of 0 in lambda2 7.957 * [taylor]: Taking taylor expansion of 0 in lambda2 7.957 * [taylor]: Taking taylor expansion of 0 in lambda2 7.957 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.958 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.958 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.958 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.958 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.958 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.958 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.958 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.958 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.958 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.958 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.958 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.958 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.958 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.958 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.958 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.958 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.958 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.958 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.958 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.958 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.958 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.958 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.959 * [taylor]: Taking taylor expansion of 0 in lambda2 7.959 * [taylor]: Taking taylor expansion of 0 in lambda2 7.959 * [taylor]: Taking taylor expansion of 0 in lambda2 7.959 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 2 1) 7.959 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.959 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.959 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.959 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.959 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.959 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.959 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.959 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.959 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.959 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.959 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.959 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.959 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.959 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.959 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.959 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.959 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.959 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.959 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.960 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.960 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.960 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.960 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.960 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.960 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.960 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.960 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.960 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.960 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.961 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.961 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.961 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.961 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.961 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.961 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.961 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.961 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.961 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.961 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.961 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.961 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.961 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.961 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.962 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.962 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.962 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.962 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.962 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.962 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.962 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.962 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.962 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.962 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.962 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.962 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.962 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.962 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.962 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.962 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.962 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.963 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.963 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.963 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.963 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.963 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.963 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.963 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.963 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.963 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.963 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.963 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.963 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.963 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.963 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.963 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.963 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.963 * [taylor]: Taking taylor expansion of 0 in lambda2 7.963 * [taylor]: Taking taylor expansion of 0 in lambda2 7.963 * [taylor]: Taking taylor expansion of 0 in lambda2 7.963 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.963 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.964 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.964 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.964 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.964 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.964 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.964 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.964 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.964 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.964 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.964 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.964 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.964 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.964 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.964 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.964 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.964 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.964 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.964 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.964 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.964 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.964 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.965 * [taylor]: Taking taylor expansion of 0 in lambda2 7.965 * [taylor]: Taking taylor expansion of 0 in lambda2 7.965 * [taylor]: Taking taylor expansion of 0 in lambda2 7.965 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 2 1) 7.965 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.965 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.965 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.965 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.965 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.965 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.965 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.965 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.965 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.965 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.965 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.965 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.965 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.965 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.965 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.965 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.965 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.965 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.965 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.966 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.966 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.966 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.966 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.966 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.966 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.966 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.966 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.966 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.966 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.967 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.967 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.967 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.967 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.967 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.967 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.967 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.967 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.967 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.967 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.967 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.967 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.967 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.967 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.968 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.968 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.968 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.968 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.968 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.968 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.968 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.968 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.968 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.968 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.968 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.968 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.968 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.968 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.968 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.968 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.968 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.968 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.968 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.968 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.968 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.968 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.968 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.968 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.968 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.969 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.969 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.969 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.969 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.969 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.969 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.969 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.969 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.969 * [taylor]: Taking taylor expansion of 0 in lambda2 7.969 * [taylor]: Taking taylor expansion of 0 in lambda2 7.969 * [taylor]: Taking taylor expansion of 0 in lambda2 7.969 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.969 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.969 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.969 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.969 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.969 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.969 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.969 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.969 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.969 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.969 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.969 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.969 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.970 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.970 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.970 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.970 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.970 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.970 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.970 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.970 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.970 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.970 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.970 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.970 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.970 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.970 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.970 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.970 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.970 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.970 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.970 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.970 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.970 * [taylor]: Taking taylor expansion of 0 in lambda2 7.970 * [taylor]: Taking taylor expansion of 0 in lambda2 7.970 * [taylor]: Taking taylor expansion of 0 in lambda2 7.971 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1 1) 7.971 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.971 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.971 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.971 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.971 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.971 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.971 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.971 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.971 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.975 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.975 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.975 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.975 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.975 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.975 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.975 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.975 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.975 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.975 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.975 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.976 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.976 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.976 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.976 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.976 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.976 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.976 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.976 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.976 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.976 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.976 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.976 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.976 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.976 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.976 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.976 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.977 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.977 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.977 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.977 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.977 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.977 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.977 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.978 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.978 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.978 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.978 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.978 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.978 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.978 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.978 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.978 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.978 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.978 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.978 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.978 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.978 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.978 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.978 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.978 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.978 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.978 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.978 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.978 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.978 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.978 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.978 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.978 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.978 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.978 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.978 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.978 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.978 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.979 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.979 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.979 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.979 * [taylor]: Taking taylor expansion of 0 in lambda2 7.979 * [taylor]: Taking taylor expansion of 0 in lambda2 7.979 * [taylor]: Taking taylor expansion of 0 in lambda2 7.979 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.979 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.979 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.979 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.979 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.979 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.979 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.979 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.979 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.979 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.979 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.979 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.979 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.979 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.979 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.979 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.979 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.980 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.980 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.980 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.980 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.980 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.980 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.980 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.980 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.980 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.980 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.980 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.980 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.980 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.980 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.980 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.980 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.980 * [taylor]: Taking taylor expansion of 0 in lambda2 7.980 * [taylor]: Taking taylor expansion of 0 in lambda2 7.980 * [taylor]: Taking taylor expansion of 0 in lambda2 7.980 * * * [progress]: simplifying candidates 7.981 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 8.111 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 8.111 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 8.114 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 8.114 * * * [progress]: adding candidates to table 8.226 * * [progress]: iteration 4 / 4 8.226 * * * [progress]: picking best candidate 8.306 * * * * [pick]: Picked # 8.306 * * * [progress]: localizing error 8.349 * * * [progress]: generating rewritten candidates 8.349 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.355 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.361 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 8.367 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 8.374 * * * [progress]: generating series expansions 8.374 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.374 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.374 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.374 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.374 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.374 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.374 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.374 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.374 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.374 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.374 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.374 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.374 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.374 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.374 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.374 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.374 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.374 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.374 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.374 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.375 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.375 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.375 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.375 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.375 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.375 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.375 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.375 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.375 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.375 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.375 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.376 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.376 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.376 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.376 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.376 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.376 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.376 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.376 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.376 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.376 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.376 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.376 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.376 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.377 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.377 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.377 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.377 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.377 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.377 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.377 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.377 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.377 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.377 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.377 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.377 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.377 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.377 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.377 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.377 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.377 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.377 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.377 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.377 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.377 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.378 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.378 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.378 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.378 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.378 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.378 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.378 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.378 * [taylor]: Taking taylor expansion of 0 in lambda2 8.378 * [taylor]: Taking taylor expansion of 0 in lambda2 8.378 * [taylor]: Taking taylor expansion of 0 in lambda2 8.378 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.378 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.378 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.378 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.378 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.378 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.378 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.378 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.378 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.378 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.378 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.378 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.379 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.379 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.379 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.379 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.379 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.379 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.379 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.379 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.379 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.379 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.379 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.379 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.379 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.379 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.379 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.379 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.379 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.379 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.379 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.379 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.379 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.379 * [taylor]: Taking taylor expansion of 0 in lambda2 8.379 * [taylor]: Taking taylor expansion of 0 in lambda2 8.379 * [taylor]: Taking taylor expansion of 0 in lambda2 8.380 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.380 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.380 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.380 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.380 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.380 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.380 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.380 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.380 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.380 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.380 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.380 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.380 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.380 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.380 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.380 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.380 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.380 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.380 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.380 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.380 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.380 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.380 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.380 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.381 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.381 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.381 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.381 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.381 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.381 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.381 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.381 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.381 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.381 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.381 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.381 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.381 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.382 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.382 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.382 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.382 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.382 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.382 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.382 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.382 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.382 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.382 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.382 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.382 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.382 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.382 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.383 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.383 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.383 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.383 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.383 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.383 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.383 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.383 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.383 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.383 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.383 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.383 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.383 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.383 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.383 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.383 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.383 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.384 * [taylor]: Taking taylor expansion of 0 in lambda2 8.384 * [taylor]: Taking taylor expansion of 0 in lambda2 8.384 * [taylor]: Taking taylor expansion of 0 in lambda2 8.384 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.384 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.384 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.384 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.384 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.384 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.384 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.384 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.384 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.384 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.384 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.384 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.384 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.384 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.384 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.384 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.384 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.384 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.384 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.384 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.384 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.384 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.384 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.384 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.384 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.385 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.385 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.385 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.385 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.385 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.385 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.385 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.385 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.385 * [taylor]: Taking taylor expansion of 0 in lambda2 8.385 * [taylor]: Taking taylor expansion of 0 in lambda2 8.385 * [taylor]: Taking taylor expansion of 0 in lambda2 8.385 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 8.385 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.385 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.385 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.385 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.385 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.385 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.385 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.385 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.386 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.386 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.386 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.386 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.386 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.386 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.386 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.386 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.386 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.386 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.386 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.386 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.386 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.386 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.386 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.387 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.387 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.387 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.387 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.387 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.387 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.387 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.387 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.387 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.388 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.388 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.388 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.388 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.388 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.388 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.388 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.388 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.388 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.388 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.388 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.388 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.388 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.388 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.388 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.388 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.388 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.388 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.388 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.388 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.388 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.388 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.388 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.388 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.388 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.389 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.389 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.389 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.389 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.389 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.389 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.389 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.389 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.389 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.389 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.389 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.389 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.389 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.389 * [taylor]: Taking taylor expansion of 0 in lambda2 8.389 * [taylor]: Taking taylor expansion of 0 in lambda2 8.389 * [taylor]: Taking taylor expansion of 0 in lambda2 8.389 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.389 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.389 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.389 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.389 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.389 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.389 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.389 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.390 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.390 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.390 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.390 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.390 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.390 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.390 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.390 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.390 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.390 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.390 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.390 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.390 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.390 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.390 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.390 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.390 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.390 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.390 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.390 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.390 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.390 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.390 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.390 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.390 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.390 * [taylor]: Taking taylor expansion of 0 in lambda2 8.391 * [taylor]: Taking taylor expansion of 0 in lambda2 8.391 * [taylor]: Taking taylor expansion of 0 in lambda2 8.391 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 8.391 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.391 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.391 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.391 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.391 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.391 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.391 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.391 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.391 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.391 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.391 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.391 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.391 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.391 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.391 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.391 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.391 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.391 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.391 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.391 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.391 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.392 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.392 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.392 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.392 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.392 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.392 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.392 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.392 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.392 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.392 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.392 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.392 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.392 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.392 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.392 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.393 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.393 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.393 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.393 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.393 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.393 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.393 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.393 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.393 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.393 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.393 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.394 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.394 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.394 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.394 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.394 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.394 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.394 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.394 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.394 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.394 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.394 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.394 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.394 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.394 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.394 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.394 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.394 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.394 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.394 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.394 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.394 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.394 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.395 * [taylor]: Taking taylor expansion of 0 in lambda2 8.395 * [taylor]: Taking taylor expansion of 0 in lambda2 8.395 * [taylor]: Taking taylor expansion of 0 in lambda2 8.395 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.395 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.395 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.395 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.395 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.395 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.395 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.395 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.395 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.395 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.395 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.395 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.395 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.395 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.395 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.395 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.395 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.395 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.395 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.395 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.395 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.395 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.395 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.395 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.396 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.396 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.396 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.396 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.396 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.396 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.396 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.396 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.396 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.396 * [taylor]: Taking taylor expansion of 0 in lambda2 8.396 * [taylor]: Taking taylor expansion of 0 in lambda2 8.396 * [taylor]: Taking taylor expansion of 0 in lambda2 8.396 * * * [progress]: simplifying candidates 8.397 * [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))) (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.468 * * [simplify]: iteration 0 : 4782 enodes (cost 676 ) 8.469 * * [simplify]: iteration 1 : 4782 enodes (cost 676 ) 8.472 * [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))) (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.473 * * * [progress]: adding candidates to table 8.597 * [progress]: [Phase 3 of 3] Extracting. 8.597 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 8.632 * * * [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.633 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # #) 8.766 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # #) 8.902 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # #) 9.038 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # #) 9.174 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # #) 9.310 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # #) 9.442 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # #) 9.576 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # #) 9.711 * * * [regime]: Found split indices: #