3.753 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 6.906 * * * [progress]: [2/2] Setting up program. 6.912 * [progress]: [Phase 2 of 3] Improving. 6.912 * [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.009 * * [simplify]: iteration 0 : 4808 enodes (cost 65 ) 7.010 * * [simplify]: iteration 1 : 4808 enodes (cost 65 ) 7.011 * [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.016 * * [progress]: iteration 1 / 4 7.016 * * * [progress]: picking best candidate 7.021 * * * * [pick]: Picked # 7.021 * * * [progress]: localizing error 7.054 * * * [progress]: generating rewritten candidates 7.054 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.060 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.292 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.298 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 7.304 * * * [progress]: generating series expansions 7.305 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.305 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.305 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.305 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.305 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.305 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.305 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.305 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.305 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.305 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.305 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.305 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.305 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.305 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.305 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.305 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.305 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.305 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.305 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.305 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.305 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.305 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.305 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.305 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.306 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.306 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.306 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.306 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.306 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.306 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.306 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.306 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.306 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.306 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.306 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.306 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.306 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.307 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.307 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.307 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.307 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.307 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.307 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.307 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.308 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.308 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.308 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.308 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.308 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.308 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.308 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.308 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.308 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.308 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.308 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.308 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.308 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.308 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.308 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.308 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.308 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.308 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.308 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.308 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.308 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.308 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.308 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.308 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.308 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.308 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.309 * [taylor]: Taking taylor expansion of 0 in lambda2 7.309 * [taylor]: Taking taylor expansion of 0 in lambda2 7.309 * [taylor]: Taking taylor expansion of 0 in lambda2 7.309 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.309 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.309 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.309 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.309 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.309 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.309 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.309 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.309 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.309 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.309 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.309 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.309 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.309 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.309 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.309 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.309 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.309 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.310 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.310 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.310 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.310 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.310 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.310 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.310 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.310 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.310 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.310 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.310 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.310 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.310 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.310 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.310 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.310 * [taylor]: Taking taylor expansion of 0 in lambda2 7.310 * [taylor]: Taking taylor expansion of 0 in lambda2 7.310 * [taylor]: Taking taylor expansion of 0 in lambda2 7.310 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.310 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.310 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.310 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.310 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.310 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.311 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.311 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.311 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.311 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.311 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.311 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.311 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.311 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.311 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.311 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.311 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.311 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.311 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.311 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.311 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.311 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.311 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.311 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.311 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.311 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.312 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.312 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.312 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.312 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.312 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.312 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.312 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.312 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.312 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.312 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.312 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.313 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.313 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.313 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.313 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.313 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.313 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.313 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.313 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.313 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.313 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.313 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.313 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.313 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.313 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.313 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.313 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.313 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.313 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.313 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.313 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.314 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.314 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.314 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.314 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.314 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.314 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.314 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.314 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.314 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.314 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.314 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.314 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.314 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.314 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.314 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.314 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.314 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.314 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.314 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.314 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.314 * [taylor]: Taking taylor expansion of 0 in lambda2 7.314 * [taylor]: Taking taylor expansion of 0 in lambda2 7.314 * [taylor]: Taking taylor expansion of 0 in lambda2 7.315 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.315 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.315 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.315 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.315 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.315 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.315 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.315 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.315 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.315 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.315 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.315 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.315 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.315 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.315 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.315 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.315 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.315 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.315 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.315 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.315 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.315 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.315 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.315 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.315 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.315 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.315 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.315 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.315 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.315 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.315 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.316 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.316 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.316 * [taylor]: Taking taylor expansion of 0 in lambda2 7.316 * [taylor]: Taking taylor expansion of 0 in lambda2 7.316 * [taylor]: Taking taylor expansion of 0 in lambda2 7.316 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 7.316 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.316 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.316 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.316 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.316 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.316 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.316 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.316 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.316 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.316 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.316 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.316 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.316 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.316 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.316 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.316 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.316 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.317 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.317 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.317 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.317 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.317 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.317 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.317 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.317 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.317 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.317 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.317 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.317 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.318 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.318 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.318 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.318 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.318 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.318 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.318 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.318 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.318 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.318 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.318 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.318 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.318 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.318 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.319 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.319 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.319 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.319 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.319 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.319 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.319 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.319 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.319 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.319 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.319 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.319 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.319 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.319 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.319 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.319 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.319 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.319 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.319 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.319 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.319 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.319 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.319 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.319 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.319 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.320 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.320 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.320 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.320 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.320 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.320 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.320 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.320 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.320 * [taylor]: Taking taylor expansion of 0 in lambda2 7.320 * [taylor]: Taking taylor expansion of 0 in lambda2 7.320 * [taylor]: Taking taylor expansion of 0 in lambda2 7.320 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.320 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.320 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.320 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.320 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.320 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.320 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.320 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.320 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.320 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.321 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.321 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.321 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.321 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.321 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.321 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.321 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.321 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.321 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.321 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.321 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.321 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.321 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.321 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.321 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.321 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.321 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.321 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.321 * [taylor]: Taking taylor expansion of 0 in lambda2 7.321 * [taylor]: Taking taylor expansion of 0 in lambda2 7.321 * [taylor]: Taking taylor expansion of 0 in lambda2 7.322 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 7.322 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.322 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.322 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.322 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.322 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.322 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.322 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.322 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.322 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.322 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.322 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.322 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.322 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.322 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.322 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.322 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.322 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.322 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.322 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.322 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.322 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.322 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.322 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.323 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.323 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.323 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.323 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.323 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.323 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.323 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.323 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.323 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.323 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.323 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.323 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.323 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.324 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.324 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.324 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.324 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.324 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.324 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.324 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.324 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.324 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.324 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.324 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.324 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.325 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.325 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.325 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.325 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.325 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.325 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.325 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.325 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.325 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.325 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.325 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.325 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.325 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.325 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.325 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.325 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.325 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.325 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.325 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.326 * [taylor]: Taking taylor expansion of 0 in lambda2 7.326 * [taylor]: Taking taylor expansion of 0 in lambda2 7.326 * [taylor]: Taking taylor expansion of 0 in lambda2 7.326 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.326 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.326 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.326 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.326 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.326 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.326 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.326 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.326 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.326 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.326 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.326 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.326 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.326 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.326 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.326 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.326 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.327 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.327 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.327 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.327 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.327 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.327 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.327 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.327 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.327 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.327 * [taylor]: Taking taylor expansion of 0 in lambda2 7.327 * [taylor]: Taking taylor expansion of 0 in lambda2 7.327 * [taylor]: Taking taylor expansion of 0 in lambda2 7.327 * * * [progress]: simplifying candidates 7.328 * [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.455 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 7.455 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 7.457 * [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.458 * * * [progress]: adding candidates to table 7.558 * * [progress]: iteration 2 / 4 7.558 * * * [progress]: picking best candidate 7.612 * * * * [pick]: Picked # 7.612 * * * [progress]: localizing error 7.652 * * * [progress]: generating rewritten candidates 7.653 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.659 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 7.664 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.670 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.676 * * * [progress]: generating series expansions 7.676 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.676 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.676 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.677 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.677 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.677 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.677 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.677 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.677 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.677 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.677 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.677 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.677 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.677 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.677 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.677 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.677 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.677 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.677 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.677 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.677 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.677 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.677 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.677 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.678 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.678 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.678 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.678 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.678 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.678 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.678 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.678 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.678 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.678 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.678 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.678 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.678 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.679 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.679 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.679 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.679 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.679 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.679 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.679 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.679 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.679 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.679 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.679 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.679 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.679 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.679 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.679 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.679 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.680 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.680 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.680 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.680 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.680 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.680 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.680 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.680 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.680 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.680 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.680 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.680 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.680 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.680 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.680 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.680 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.680 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.680 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.680 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.680 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.680 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.680 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.680 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.680 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.680 * [taylor]: Taking taylor expansion of 0 in lambda2 7.681 * [taylor]: Taking taylor expansion of 0 in lambda2 7.681 * [taylor]: Taking taylor expansion of 0 in lambda2 7.681 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.681 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.681 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.681 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.681 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.681 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.681 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.681 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.681 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.681 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.681 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.681 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.681 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.681 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.681 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.681 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.681 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.681 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.681 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.681 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.681 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.681 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.681 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.681 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.681 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.682 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.682 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.682 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.682 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.682 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.682 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.682 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.682 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.682 * [taylor]: Taking taylor expansion of 0 in lambda2 7.682 * [taylor]: Taking taylor expansion of 0 in lambda2 7.682 * [taylor]: Taking taylor expansion of 0 in lambda2 7.682 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 7.682 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.682 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.682 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.682 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.682 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.682 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.682 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.682 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.683 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.683 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.683 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.683 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.683 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.683 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.683 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.683 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.683 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.683 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.683 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.683 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.683 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.683 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.683 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.683 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.683 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.683 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.683 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.683 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.683 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.684 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.684 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.684 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.684 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.684 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.684 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.684 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.685 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.685 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.685 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.685 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.685 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.685 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.685 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.685 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.685 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.685 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.685 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.685 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.685 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.685 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.685 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.685 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.685 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.685 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.685 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.685 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.685 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.685 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.685 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.685 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.686 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.686 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.686 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.686 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.686 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.686 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.686 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.686 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.686 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.686 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.686 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.686 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.686 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.686 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.686 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.686 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.686 * [taylor]: Taking taylor expansion of 0 in lambda2 7.686 * [taylor]: Taking taylor expansion of 0 in lambda2 7.686 * [taylor]: Taking taylor expansion of 0 in lambda2 7.686 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.686 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.686 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.687 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.687 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.687 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.687 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.687 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.687 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.687 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.687 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.687 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.687 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.687 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.687 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.687 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.687 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.687 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.687 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.687 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.687 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.687 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.687 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.687 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.687 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.687 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.688 * [taylor]: Taking taylor expansion of 0 in lambda2 7.688 * [taylor]: Taking taylor expansion of 0 in lambda2 7.688 * [taylor]: Taking taylor expansion of 0 in lambda2 7.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.688 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.688 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.688 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.688 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.688 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.688 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.688 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.688 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.688 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.688 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.688 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.688 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.688 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.688 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.688 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.688 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.688 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.688 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.688 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.689 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.689 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.689 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.689 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.689 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.689 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.689 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.689 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.689 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.689 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.689 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.689 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.690 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.690 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.690 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.690 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.690 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.690 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.690 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.690 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.690 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.690 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.690 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.690 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.691 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.691 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.691 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.691 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.691 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.691 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.691 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.691 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.691 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.691 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.691 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.691 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.691 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.691 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.691 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.691 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.691 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.691 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.691 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.691 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.691 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.691 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.691 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.691 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.691 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.691 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.691 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.691 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.692 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.692 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.692 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.692 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.692 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.692 * [taylor]: Taking taylor expansion of 0 in lambda2 7.692 * [taylor]: Taking taylor expansion of 0 in lambda2 7.692 * [taylor]: Taking taylor expansion of 0 in lambda2 7.692 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.692 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.692 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.692 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.692 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.692 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.692 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.692 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.692 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.692 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.692 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.692 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.692 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.692 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.692 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.692 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.692 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.693 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.693 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.693 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.693 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.693 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.693 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.693 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.693 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.693 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.693 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.693 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.693 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.693 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.693 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.693 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.693 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.693 * [taylor]: Taking taylor expansion of 0 in lambda2 7.693 * [taylor]: Taking taylor expansion of 0 in lambda2 7.693 * [taylor]: Taking taylor expansion of 0 in lambda2 7.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.694 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.694 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.694 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.694 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.694 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.694 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.694 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.694 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.694 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.694 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.694 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.694 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.694 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.694 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.694 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.694 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.694 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.694 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.694 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.694 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.694 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.694 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.694 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.695 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.695 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.695 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.695 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.695 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.695 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.695 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.695 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.695 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.695 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.695 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.695 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.695 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.696 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.696 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.696 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.696 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.696 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.696 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.696 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.696 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.696 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.696 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.696 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.696 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.696 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.696 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.696 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.696 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.697 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.697 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.697 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.697 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.697 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.697 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.697 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.697 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.697 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.697 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.697 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.697 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.697 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.697 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.697 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.697 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.697 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.697 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.697 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.697 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.697 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.697 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.697 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.697 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.697 * [taylor]: Taking taylor expansion of 0 in lambda2 7.697 * [taylor]: Taking taylor expansion of 0 in lambda2 7.698 * [taylor]: Taking taylor expansion of 0 in lambda2 7.698 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.698 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.698 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.698 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.698 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.698 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.698 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.698 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.698 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.698 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.698 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.698 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.698 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.698 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.698 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.698 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.698 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.698 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.698 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.698 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.698 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.698 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.698 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.698 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.698 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.699 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.699 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.699 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.699 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.699 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.699 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.699 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.699 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.699 * [taylor]: Taking taylor expansion of 0 in lambda2 7.699 * [taylor]: Taking taylor expansion of 0 in lambda2 7.699 * [taylor]: Taking taylor expansion of 0 in lambda2 7.699 * * * [progress]: simplifying candidates 7.700 * [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.771 * * [simplify]: iteration 0 : 4782 enodes (cost 524 ) 7.771 * * [simplify]: iteration 1 : 4782 enodes (cost 524 ) 7.774 * [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.775 * * * [progress]: adding candidates to table 7.890 * * [progress]: iteration 3 / 4 7.890 * * * [progress]: picking best candidate 7.960 * * * * [pick]: Picked # 7.960 * * * [progress]: localizing error 8.004 * * * [progress]: generating rewritten candidates 8.004 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.009 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 2 1) 8.014 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 2 1) 8.020 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1 1) 8.026 * * * [progress]: generating series expansions 8.026 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.026 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.027 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.027 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.027 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.027 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.027 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.027 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.027 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.027 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.027 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.027 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.027 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.027 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.027 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.027 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.027 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.027 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.027 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.027 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.027 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.027 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.027 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.027 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.028 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.028 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.028 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.028 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.028 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.028 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.028 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.028 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.028 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.028 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.028 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.028 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.028 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.029 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.029 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.029 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.029 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.029 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.029 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.029 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.029 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.029 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.029 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.029 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.029 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.029 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.029 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.029 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.029 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.030 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.030 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.030 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.030 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.030 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.030 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.030 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.030 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.030 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.030 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.030 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.030 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.030 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.030 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.030 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.030 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.030 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.030 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.030 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.030 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.030 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.030 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.030 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.030 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.030 * [taylor]: Taking taylor expansion of 0 in lambda2 8.031 * [taylor]: Taking taylor expansion of 0 in lambda2 8.031 * [taylor]: Taking taylor expansion of 0 in lambda2 8.031 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.031 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.031 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.031 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.031 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.031 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.031 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.031 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.031 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.031 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.031 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.031 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.031 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.031 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.031 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.031 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.031 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.031 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.031 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.031 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.031 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.031 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.031 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.031 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.031 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.032 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.032 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.032 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.032 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.032 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.032 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.032 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.032 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.032 * [taylor]: Taking taylor expansion of 0 in lambda2 8.032 * [taylor]: Taking taylor expansion of 0 in lambda2 8.032 * [taylor]: Taking taylor expansion of 0 in lambda2 8.032 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 2 1) 8.033 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.033 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.033 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.033 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.033 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.033 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.033 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.033 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.033 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.033 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.033 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.033 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.033 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.033 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.033 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.033 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.033 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.033 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.033 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.033 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.033 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.033 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.033 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.034 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.034 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.034 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.034 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.034 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.034 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.034 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.034 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.034 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.034 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.034 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.034 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.034 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.035 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.035 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.035 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.035 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.035 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.035 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.035 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.035 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.035 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.035 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.035 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.035 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.035 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.035 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.035 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.035 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.036 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.036 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.036 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.036 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.036 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.036 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.036 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.036 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.036 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.036 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.036 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.036 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.036 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.036 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.036 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.036 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.036 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.036 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.036 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.036 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.036 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.036 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.036 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.036 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.036 * [taylor]: Taking taylor expansion of 0 in lambda2 8.036 * [taylor]: Taking taylor expansion of 0 in lambda2 8.037 * [taylor]: Taking taylor expansion of 0 in lambda2 8.037 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.037 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.037 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.037 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.037 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.037 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.037 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.037 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.037 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.037 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.037 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.037 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.037 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.037 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.037 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.037 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.037 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.037 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.037 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.037 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.037 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.037 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.037 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.037 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.037 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.038 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.038 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.038 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.038 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.038 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.038 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.038 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.038 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.038 * [taylor]: Taking taylor expansion of 0 in lambda2 8.038 * [taylor]: Taking taylor expansion of 0 in lambda2 8.038 * [taylor]: Taking taylor expansion of 0 in lambda2 8.038 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 2 1) 8.038 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.038 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.038 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.038 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.038 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.038 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.038 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.038 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.038 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.038 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.038 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.038 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.038 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.039 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.039 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.039 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.039 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.039 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.039 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.039 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.039 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.039 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.039 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.039 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.039 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.039 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.039 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.039 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.039 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.040 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.040 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.040 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.040 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.040 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.040 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.040 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.040 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.040 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.040 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.040 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.041 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.041 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.041 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.041 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.041 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.041 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.041 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.041 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.041 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.041 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.041 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.041 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.041 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.041 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.041 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.041 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.041 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.041 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.041 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.041 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.041 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.041 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.041 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.041 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.042 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.042 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.042 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.042 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.042 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.042 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.042 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.042 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.042 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.042 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.042 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.042 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.042 * [taylor]: Taking taylor expansion of 0 in lambda2 8.042 * [taylor]: Taking taylor expansion of 0 in lambda2 8.042 * [taylor]: Taking taylor expansion of 0 in lambda2 8.042 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.042 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.042 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.042 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.042 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.042 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.042 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.043 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.043 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.043 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.043 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.043 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.043 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.043 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.043 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.043 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.043 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.043 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.043 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.043 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.043 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.043 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.043 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.043 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.043 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.043 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.043 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.043 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.043 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.043 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.043 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.043 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.043 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.044 * [taylor]: Taking taylor expansion of 0 in lambda2 8.044 * [taylor]: Taking taylor expansion of 0 in lambda2 8.044 * [taylor]: Taking taylor expansion of 0 in lambda2 8.044 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1 1) 8.044 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.044 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.044 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.044 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.044 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.044 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.044 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.044 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.044 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.044 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.044 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.044 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.044 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.044 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.044 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.044 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.044 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.044 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.044 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.045 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.045 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.045 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.045 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.045 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.045 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.045 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.045 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.045 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.045 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.045 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.045 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.045 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.045 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.045 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.045 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.045 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.046 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.046 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.046 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.046 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.046 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.046 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.046 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.047 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.047 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.047 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.047 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.047 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.047 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.047 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.047 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.047 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.047 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.047 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.047 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.047 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.047 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.047 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.047 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.047 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.047 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.047 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.047 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.047 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.047 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.047 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.047 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.047 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.048 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.048 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.048 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.048 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.048 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.048 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.048 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.048 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.048 * [taylor]: Taking taylor expansion of 0 in lambda2 8.048 * [taylor]: Taking taylor expansion of 0 in lambda2 8.048 * [taylor]: Taking taylor expansion of 0 in lambda2 8.048 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.048 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.048 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.048 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.048 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.048 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.048 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.048 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.048 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.049 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.049 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.049 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.049 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.049 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.049 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.049 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.049 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.049 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.049 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.049 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.049 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.049 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.049 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.049 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.049 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.049 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.049 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.049 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.049 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.049 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.049 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.049 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.049 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.049 * [taylor]: Taking taylor expansion of 0 in lambda2 8.049 * [taylor]: Taking taylor expansion of 0 in lambda2 8.049 * [taylor]: Taking taylor expansion of 0 in lambda2 8.050 * * * [progress]: simplifying candidates 8.050 * [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.177 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 8.178 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 8.180 * [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.180 * * * [progress]: adding candidates to table 8.289 * * [progress]: iteration 4 / 4 8.289 * * * [progress]: picking best candidate 8.368 * * * * [pick]: Picked # 8.368 * * * [progress]: localizing error 8.406 * * * [progress]: generating rewritten candidates 8.406 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.413 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.419 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2 1 1) 8.424 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 8.431 * * * [progress]: generating series expansions 8.431 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.432 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.432 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.432 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.432 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.432 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.432 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.432 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.432 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.432 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.432 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.432 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.432 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.432 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.432 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.432 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.432 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.432 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.432 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.432 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.432 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.432 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.432 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.432 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.433 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.433 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.433 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.433 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.433 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.433 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.433 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.433 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.433 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.433 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.433 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.433 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.433 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.436 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.436 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.436 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.436 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.436 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.436 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.436 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.436 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.436 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.436 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.436 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.436 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.436 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.436 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.436 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.436 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.437 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.437 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.437 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.437 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.437 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.437 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.437 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.437 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.437 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.437 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.437 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.437 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.437 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.437 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.437 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.437 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.437 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.437 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.437 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.437 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.437 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.437 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.437 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.437 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.437 * [taylor]: Taking taylor expansion of 0 in lambda2 8.438 * [taylor]: Taking taylor expansion of 0 in lambda2 8.438 * [taylor]: Taking taylor expansion of 0 in lambda2 8.438 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.438 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.438 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.438 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.438 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.438 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.438 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.438 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.438 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.438 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.438 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.438 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.438 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.438 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.438 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.438 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.438 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.438 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.438 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.438 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.438 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.438 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.438 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.439 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.439 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.439 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.439 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.439 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.439 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.439 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.439 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.439 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.439 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.439 * [taylor]: Taking taylor expansion of 0 in lambda2 8.439 * [taylor]: Taking taylor expansion of 0 in lambda2 8.439 * [taylor]: Taking taylor expansion of 0 in lambda2 8.439 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.440 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.440 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.440 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.440 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.440 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.440 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.440 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.440 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.440 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.440 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.440 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.440 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.440 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.440 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.440 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.440 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.440 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.440 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.440 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.440 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.440 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.440 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.440 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.441 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.441 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.441 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.441 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.441 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.441 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.441 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.441 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.441 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.441 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.441 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.441 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.441 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.442 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.442 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.442 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.442 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.442 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.442 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.442 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.442 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.442 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.442 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.442 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.442 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.442 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.443 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.443 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.443 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.443 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.443 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.443 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.443 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.443 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.443 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.443 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.443 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.443 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.443 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.443 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.443 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.443 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.443 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.443 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.443 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.443 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.443 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.443 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.443 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.443 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.443 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.443 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.443 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.444 * [taylor]: Taking taylor expansion of 0 in lambda2 8.444 * [taylor]: Taking taylor expansion of 0 in lambda2 8.444 * [taylor]: Taking taylor expansion of 0 in lambda2 8.444 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.444 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.444 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.444 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.444 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.444 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.444 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.444 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.444 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.444 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.444 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.444 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.444 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.444 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.444 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.444 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.444 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.444 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.444 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.444 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.444 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.445 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.445 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.445 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.445 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.445 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.445 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.445 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.445 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.445 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.445 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.445 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.445 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.445 * [taylor]: Taking taylor expansion of 0 in lambda2 8.445 * [taylor]: Taking taylor expansion of 0 in lambda2 8.445 * [taylor]: Taking taylor expansion of 0 in lambda2 8.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2 1 1) 8.445 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.445 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.445 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.445 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.445 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.445 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.446 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.446 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.446 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.446 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.446 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.446 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.446 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.446 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.446 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.446 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.446 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.446 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.446 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.446 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.446 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.446 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.446 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.446 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.446 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.446 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.446 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.446 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.447 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.447 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.447 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.447 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.447 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.447 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.447 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.447 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.448 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.448 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.448 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.448 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.448 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.448 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.448 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.448 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.448 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.448 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.448 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.448 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.448 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.448 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.448 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.448 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.448 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.448 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.448 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.448 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.448 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.448 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.449 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.449 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.449 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.449 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.449 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.449 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.449 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.449 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.449 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.449 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.449 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.449 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.449 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.449 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.449 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.449 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.449 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.449 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.449 * [taylor]: Taking taylor expansion of 0 in lambda2 8.449 * [taylor]: Taking taylor expansion of 0 in lambda2 8.449 * [taylor]: Taking taylor expansion of 0 in lambda2 8.450 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.450 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.450 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.450 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.450 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.450 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.450 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.450 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.450 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.450 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.450 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.450 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.450 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.450 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.450 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.450 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.450 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.450 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.450 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.450 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.450 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.450 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.450 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.450 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.450 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.450 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.450 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.450 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.450 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.450 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.451 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.451 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.451 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.451 * [taylor]: Taking taylor expansion of 0 in lambda2 8.451 * [taylor]: Taking taylor expansion of 0 in lambda2 8.451 * [taylor]: Taking taylor expansion of 0 in lambda2 8.451 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 8.451 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.451 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.451 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.451 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.451 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.451 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.451 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.451 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.451 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.451 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.451 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.451 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.451 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.451 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.451 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.452 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.452 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.452 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.452 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.452 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.452 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.452 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.452 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.452 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.452 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.452 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.452 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.452 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.452 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.453 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.453 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.453 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.453 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.453 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.453 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.453 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.453 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.453 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.453 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.453 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.453 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.453 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.453 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.454 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.454 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.454 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.454 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.454 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.454 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.454 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.454 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.454 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.454 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.454 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.454 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.454 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.454 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.454 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.454 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.454 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.454 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.454 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.454 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.454 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.454 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.454 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.454 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.454 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.455 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.455 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.455 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.455 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.455 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.455 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.455 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.455 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.455 * [taylor]: Taking taylor expansion of 0 in lambda2 8.455 * [taylor]: Taking taylor expansion of 0 in lambda2 8.455 * [taylor]: Taking taylor expansion of 0 in lambda2 8.455 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.455 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.455 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.455 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.455 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.455 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.455 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.455 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.455 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.456 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.456 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.456 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.456 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.456 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.456 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.456 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.456 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.456 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.456 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.456 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.456 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.456 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.456 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.456 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.456 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.456 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.456 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.456 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.456 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.456 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.456 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.456 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.456 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.456 * [taylor]: Taking taylor expansion of 0 in lambda2 8.456 * [taylor]: Taking taylor expansion of 0 in lambda2 8.456 * [taylor]: Taking taylor expansion of 0 in lambda2 8.457 * * * [progress]: simplifying candidates 8.458 * [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.530 * * [simplify]: iteration 0 : 4782 enodes (cost 676 ) 8.530 * * [simplify]: iteration 1 : 4782 enodes (cost 676 ) 8.533 * [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.534 * * * [progress]: adding candidates to table 8.656 * [progress]: [Phase 3 of 3] Extracting. 8.656 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 8.691 * * * [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.691 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # #) 8.825 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # #) 8.955 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # #) 9.088 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # #) 9.219 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # #) 9.351 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # #) 9.481 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # #) 9.611 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # #) 9.743 * * * [regime]: Found split indices: #