5.523 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 6.830 * * * [progress]: [2/2] Setting up program. 6.833 * [progress]: [Phase 2 of 3] Improving. 6.834 * [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))))))))) 6.968 * * [simplify]: iteration 0 : 4833 enodes (cost 103 ) 6.969 * * [simplify]: iteration 1 : 4833 enodes (cost 103 ) 6.970 * [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)))))))))) 6.973 * * [progress]: iteration 1 / 4 6.973 * * * [progress]: picking best candidate 6.976 * * * * [pick]: Picked # 6.976 * * * [progress]: localizing error 7.013 * * * [progress]: generating rewritten candidates 7.013 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.018 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.024 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.029 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 7.035 * * * [progress]: generating series expansions 7.035 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.035 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.036 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.036 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.036 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.036 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.036 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.036 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.036 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.036 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.036 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.036 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.036 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.036 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.037 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.037 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.037 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.037 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.037 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.037 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.038 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.038 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.039 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.039 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.040 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.040 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.040 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.040 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.040 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.040 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.043 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.043 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.043 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.043 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.043 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.043 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.043 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.047 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.047 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.047 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.047 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.047 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.047 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.047 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.049 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.049 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.049 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.049 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.049 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.049 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.049 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.049 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.049 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.050 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.050 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.050 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.050 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.050 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.050 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.050 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.050 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.050 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.050 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.050 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.050 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.050 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.050 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.050 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.050 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.051 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.051 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.051 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.051 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.051 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.051 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.051 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.051 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.052 * [taylor]: Taking taylor expansion of 0 in lambda2 7.052 * [taylor]: Taking taylor expansion of 0 in lambda2 7.052 * [taylor]: Taking taylor expansion of 0 in lambda2 7.054 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.054 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.054 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.054 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.054 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.054 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.054 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.054 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.054 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.054 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.054 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.054 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.054 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.054 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.054 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.055 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.055 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.055 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.055 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.055 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.055 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.055 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.055 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.055 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.055 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.056 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.056 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.056 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.056 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.056 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.056 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.056 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.056 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.057 * [taylor]: Taking taylor expansion of 0 in lambda2 7.057 * [taylor]: Taking taylor expansion of 0 in lambda2 7.057 * [taylor]: Taking taylor expansion of 0 in lambda2 7.058 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.058 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.058 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.058 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.058 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.058 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.059 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.059 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.059 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.059 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.059 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.059 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.059 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.059 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.060 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.060 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.060 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.060 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.060 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.060 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.061 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.061 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.061 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.061 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.063 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.063 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.063 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.063 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.063 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.063 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.065 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.065 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.065 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.065 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.065 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.065 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.065 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.069 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.069 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.069 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.069 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.069 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.069 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.069 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.070 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.071 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.071 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.071 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.071 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.071 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.071 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.071 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.071 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.071 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.071 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.071 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.071 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.071 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.071 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.071 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.072 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.072 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.072 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.072 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.072 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.072 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.072 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.072 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.072 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.073 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.073 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.073 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.073 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.073 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.073 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.073 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.073 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.074 * [taylor]: Taking taylor expansion of 0 in lambda2 7.074 * [taylor]: Taking taylor expansion of 0 in lambda2 7.074 * [taylor]: Taking taylor expansion of 0 in lambda2 7.076 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.076 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.076 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.076 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.076 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.076 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.076 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.076 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.076 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.077 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.077 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.077 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.077 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.077 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.077 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.077 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.077 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.078 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.078 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.078 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.078 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.078 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.078 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.078 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.078 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.078 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.078 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.079 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.079 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.079 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.079 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.079 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.079 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.080 * [taylor]: Taking taylor expansion of 0 in lambda2 7.080 * [taylor]: Taking taylor expansion of 0 in lambda2 7.080 * [taylor]: Taking taylor expansion of 0 in lambda2 7.080 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 7.081 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.081 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.081 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.081 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.081 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.081 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.081 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.081 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.081 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.081 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.081 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.082 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.082 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.082 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.082 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.082 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.082 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.082 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.082 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.083 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.083 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.083 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.083 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.085 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.085 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.085 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.085 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.085 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.085 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.088 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.088 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.088 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.088 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.088 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.088 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.088 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.091 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.091 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.091 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.091 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.091 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.091 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.091 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.093 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.093 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.093 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.093 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.093 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.093 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.093 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.093 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.093 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.094 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.094 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.094 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.094 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.094 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.094 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.094 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.095 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.095 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.095 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.095 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.095 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.095 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.095 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.095 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.096 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.096 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.096 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.096 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.096 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.096 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.096 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.096 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.097 * [taylor]: Taking taylor expansion of 0 in lambda2 7.097 * [taylor]: Taking taylor expansion of 0 in lambda2 7.097 * [taylor]: Taking taylor expansion of 0 in lambda2 7.098 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.098 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.098 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.098 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.098 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.098 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.099 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.099 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.099 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.099 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.099 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.099 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.099 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.099 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.100 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.100 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.100 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.100 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.100 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.100 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.100 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.101 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.101 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.101 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.101 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.101 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.101 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.101 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.101 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.102 * [taylor]: Taking taylor expansion of 0 in lambda2 7.102 * [taylor]: Taking taylor expansion of 0 in lambda2 7.102 * [taylor]: Taking taylor expansion of 0 in lambda2 7.103 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 7.103 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.103 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.103 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.103 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.103 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.103 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.103 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.103 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.103 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.104 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.104 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.104 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.104 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.104 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.104 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.104 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.105 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.105 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.105 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.105 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.107 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.107 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.107 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.107 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.107 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.107 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.110 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.110 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.110 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.110 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.110 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.110 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.110 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.113 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.114 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.114 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.114 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.114 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.114 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.114 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.115 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.115 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.115 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.115 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.116 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.116 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.116 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.116 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.116 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.116 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.116 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.116 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.116 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.116 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.116 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.116 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.116 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.117 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.117 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.117 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.117 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.117 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.117 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.117 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.117 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.118 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.118 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.118 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.118 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.118 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.118 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.118 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.118 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.119 * [taylor]: Taking taylor expansion of 0 in lambda2 7.119 * [taylor]: Taking taylor expansion of 0 in lambda2 7.119 * [taylor]: Taking taylor expansion of 0 in lambda2 7.120 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.120 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.120 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.120 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.120 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.120 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.120 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.121 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.121 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.121 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.121 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.121 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.121 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.121 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.122 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.122 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.122 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.122 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.122 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.122 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.122 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.122 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.123 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.123 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.123 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.123 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.123 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.124 * [taylor]: Taking taylor expansion of 0 in lambda2 7.124 * [taylor]: Taking taylor expansion of 0 in lambda2 7.124 * [taylor]: Taking taylor expansion of 0 in lambda2 7.125 * * * [progress]: simplifying candidates 7.125 * [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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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.301 * * [simplify]: iteration 0 : 4752 enodes (cost 612 ) 7.301 * * [simplify]: iteration 1 : 4752 enodes (cost 612 ) 7.305 * [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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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.306 * * * [progress]: adding candidates to table 7.434 * * [progress]: iteration 2 / 4 7.434 * * * [progress]: picking best candidate 7.473 * * * * [pick]: Picked # 7.473 * * * [progress]: localizing error 7.517 * * * [progress]: generating rewritten candidates 7.517 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.524 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.529 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 7.535 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.541 * * * [progress]: generating series expansions 7.541 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.542 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.542 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.542 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.542 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.542 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.542 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.542 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.542 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.542 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.542 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.542 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.542 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.542 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.543 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.543 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.543 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.543 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.543 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.543 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.544 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.544 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.544 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.544 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.546 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.546 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.546 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.546 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.546 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.546 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.549 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.549 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.549 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.549 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.549 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.549 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.549 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.552 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.552 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.552 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.552 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.552 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.552 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.552 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.554 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.554 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.554 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.554 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.554 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.554 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.554 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.554 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.554 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.555 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.555 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.555 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.555 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.555 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.555 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.555 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.555 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.555 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.556 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.556 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.556 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.556 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.556 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.556 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.556 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.556 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.556 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.556 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.556 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.556 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.557 * [taylor]: Taking taylor expansion of 0 in lambda2 7.557 * [taylor]: Taking taylor expansion of 0 in lambda2 7.557 * [taylor]: Taking taylor expansion of 0 in lambda2 7.558 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.559 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.559 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.559 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.559 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.559 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.559 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.559 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.559 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.559 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.559 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.559 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.559 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.559 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.559 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.559 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.559 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.560 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.560 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.560 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.560 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.560 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.560 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.560 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.560 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.561 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.561 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.561 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.561 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.561 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.561 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.561 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.561 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.562 * [taylor]: Taking taylor expansion of 0 in lambda2 7.562 * [taylor]: Taking taylor expansion of 0 in lambda2 7.562 * [taylor]: Taking taylor expansion of 0 in lambda2 7.562 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.563 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.563 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.563 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.563 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.563 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.563 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.563 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.563 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.563 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.563 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.563 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.563 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.563 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.564 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.564 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.564 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.564 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.564 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.564 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.565 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.565 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.565 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.565 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.566 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.566 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.566 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.566 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.566 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.566 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.569 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.569 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.569 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.569 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.569 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.569 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.569 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.572 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.572 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.572 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.572 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.572 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.572 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.572 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.574 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.574 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.574 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.574 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.574 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.574 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.574 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.574 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.574 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.574 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.574 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.575 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.575 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.575 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.575 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.576 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.576 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.576 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.576 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.576 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.576 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.577 * [taylor]: Taking taylor expansion of 0 in lambda2 7.577 * [taylor]: Taking taylor expansion of 0 in lambda2 7.577 * [taylor]: Taking taylor expansion of 0 in lambda2 7.578 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.578 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.578 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.578 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.578 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.578 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.578 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.578 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.578 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.579 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.579 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.579 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.579 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.579 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.579 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.579 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.579 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.579 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.579 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.579 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.579 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.579 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.579 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.579 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.580 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.580 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.580 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.580 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.580 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.580 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.580 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.580 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.580 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.581 * [taylor]: Taking taylor expansion of 0 in lambda2 7.581 * [taylor]: Taking taylor expansion of 0 in lambda2 7.581 * [taylor]: Taking taylor expansion of 0 in lambda2 7.582 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 7.582 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.582 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.582 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.582 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.582 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.582 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.582 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.583 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.583 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.583 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.583 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.583 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.583 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.583 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.583 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.583 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.583 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.583 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.583 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.584 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.584 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.584 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.584 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.586 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.586 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.586 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.586 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.586 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.586 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.588 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.588 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.588 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.588 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.588 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.588 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.588 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.592 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.592 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.592 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.592 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.592 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.592 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.592 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.593 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.593 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.593 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.594 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.594 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.594 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.594 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.594 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.594 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.594 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.594 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.594 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.594 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.594 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.594 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.594 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.594 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.595 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.595 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.595 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.595 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.595 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.595 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.595 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.595 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.596 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.596 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.596 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.596 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.596 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.596 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.596 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.596 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.597 * [taylor]: Taking taylor expansion of 0 in lambda2 7.597 * [taylor]: Taking taylor expansion of 0 in lambda2 7.597 * [taylor]: Taking taylor expansion of 0 in lambda2 7.598 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.598 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.598 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.598 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.598 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.598 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.598 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.598 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.598 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.598 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.598 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.598 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.598 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.598 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.598 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.599 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.599 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.599 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.599 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.599 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.599 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.599 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.599 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.600 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.600 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.600 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.600 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.600 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.600 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.600 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.600 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.601 * [taylor]: Taking taylor expansion of 0 in lambda2 7.601 * [taylor]: Taking taylor expansion of 0 in lambda2 7.601 * [taylor]: Taking taylor expansion of 0 in lambda2 7.602 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.602 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.602 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.602 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.602 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.602 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.602 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.602 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.602 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.602 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.602 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.602 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.602 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.602 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.603 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.603 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.603 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.603 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.603 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.603 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.604 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.604 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.604 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.604 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.606 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.606 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.606 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.606 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.606 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.606 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.608 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.608 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.608 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.608 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.608 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.608 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.608 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.611 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.611 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.611 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.612 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.612 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.612 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.612 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.613 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.613 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.613 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.613 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.613 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.613 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.613 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.613 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.613 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.614 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.614 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.614 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.614 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.614 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.614 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.614 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.614 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.614 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.615 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.615 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.615 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.615 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.615 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.615 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.615 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.615 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.615 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.615 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.615 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.616 * [taylor]: Taking taylor expansion of 0 in lambda2 7.616 * [taylor]: Taking taylor expansion of 0 in lambda2 7.616 * [taylor]: Taking taylor expansion of 0 in lambda2 7.617 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.617 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.617 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.617 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.617 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.617 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.617 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.617 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.617 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.618 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.618 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.618 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.618 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.618 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.618 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.618 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.618 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.619 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.619 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.619 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.619 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.619 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.622 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.622 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.622 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.623 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.623 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.623 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.623 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.623 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.623 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.623 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.623 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.624 * [taylor]: Taking taylor expansion of 0 in lambda2 7.624 * [taylor]: Taking taylor expansion of 0 in lambda2 7.624 * [taylor]: Taking taylor expansion of 0 in lambda2 7.625 * * * [progress]: simplifying candidates 7.626 * [simplify]: Simplifying using # : (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (exp.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (exp.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (exp.f64 1)) (log.f64 (exp.f64 (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))))) (log.f64 (exp.f64 (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))))) (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 1) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (exp.f64 (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (*.f64 (*.f64 (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (*.f64 (cbrt.f64 (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (cbrt.f64 (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (cbrt.f64 (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (log.f64 (exp.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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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.758 * * [simplify]: iteration 0 : 4996 enodes (cost 732 ) 7.758 * * [simplify]: iteration 1 : 4996 enodes (cost 732 ) 7.762 * [simplify]: Simplified to: (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)))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 1 (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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.763 * * * [progress]: adding candidates to table 7.888 * * [progress]: iteration 3 / 4 7.888 * * * [progress]: picking best candidate 7.938 * * * * [pick]: Picked # 7.938 * * * [progress]: localizing error 7.984 * * * [progress]: generating rewritten candidates 7.984 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 2) 7.991 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1) 7.999 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.004 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 2 1 1 1) 8.013 * * * [progress]: generating series expansions 8.013 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 2) 8.014 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in (lambda1 lambda2) around 0 8.014 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in lambda2 8.014 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- lambda1 lambda2))))) in lambda2 8.014 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- lambda1 lambda2)))) in lambda2 8.014 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.014 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.014 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.014 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.014 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.014 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.018 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in lambda1 8.018 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- lambda1 lambda2))))) in lambda1 8.018 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- lambda1 lambda2)))) in lambda1 8.019 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.019 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.019 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.019 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.019 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.019 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.023 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in lambda1 8.023 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- lambda1 lambda2))))) in lambda1 8.023 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- lambda1 lambda2)))) in lambda1 8.023 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.023 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.023 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.023 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.023 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.023 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.027 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* -1/2 lambda2))))) in lambda2 8.027 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* -1/2 lambda2)))) in lambda2 8.027 * [taylor]: Taking taylor expansion of (exp (sin (* -1/2 lambda2))) in lambda2 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.029 * [taylor]: Taking taylor expansion of (* 1/4 (cos (* -1/2 lambda2))) in lambda2 8.029 * [taylor]: Taking taylor expansion of 1/4 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.040 * [taylor]: Taking taylor expansion of (* -1/16 (sin (* -1/2 lambda2))) in lambda2 8.040 * [taylor]: Taking taylor expansion of -1/16 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.060 * [taylor]: Taking taylor expansion of (* -1/96 (cos (* -1/2 lambda2))) in lambda2 8.060 * [taylor]: Taking taylor expansion of -1/96 in lambda2 8.060 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.060 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.060 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.060 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.062 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in (lambda1 lambda2) around 0 8.062 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 8.062 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 8.062 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 8.062 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.062 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.062 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.062 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.062 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.062 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.062 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.062 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.065 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 8.065 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 8.065 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 8.065 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.065 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.065 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.065 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.065 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.065 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.065 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.065 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.068 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 8.068 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 8.068 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 8.068 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.068 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.068 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.068 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.068 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.068 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.068 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.068 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.071 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 8.071 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 8.071 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 8.071 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.071 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.071 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.071 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.071 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.071 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.071 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.071 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.075 * [taylor]: Taking taylor expansion of 0 in lambda2 8.079 * [taylor]: Taking taylor expansion of 0 in lambda2 8.087 * [taylor]: Taking taylor expansion of 0 in lambda2 8.088 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in (lambda1 lambda2) around 0 8.088 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 8.088 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 8.088 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 8.088 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.088 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.088 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.088 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.089 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.089 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.089 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.089 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.091 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 8.091 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 8.091 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 8.091 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.092 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.092 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.092 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.092 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.092 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.092 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.092 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.094 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 8.094 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 8.094 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 8.094 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.095 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.095 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.095 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.095 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.095 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.095 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.095 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.097 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 8.097 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 8.097 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 8.097 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.098 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.098 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.098 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.098 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.098 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.098 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.098 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.102 * [taylor]: Taking taylor expansion of 0 in lambda2 8.105 * [taylor]: Taking taylor expansion of 0 in lambda2 8.113 * [taylor]: Taking taylor expansion of 0 in lambda2 8.114 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1) 8.114 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in (lambda1 lambda2) around 0 8.114 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in lambda2 8.114 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- lambda1 lambda2))))) in lambda2 8.114 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- lambda1 lambda2)))) in lambda2 8.114 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.114 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.115 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.115 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.115 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.115 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.119 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in lambda1 8.119 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- lambda1 lambda2))))) in lambda1 8.119 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- lambda1 lambda2)))) in lambda1 8.119 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.119 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.119 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.119 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.119 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.119 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.123 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- lambda1 lambda2)))))) in lambda1 8.123 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- lambda1 lambda2))))) in lambda1 8.123 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- lambda1 lambda2)))) in lambda1 8.123 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.123 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.123 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.123 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.123 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.123 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.127 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* -1/2 lambda2))))) in lambda2 8.127 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* -1/2 lambda2)))) in lambda2 8.127 * [taylor]: Taking taylor expansion of (exp (sin (* -1/2 lambda2))) in lambda2 8.127 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.127 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.127 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.127 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.129 * [taylor]: Taking taylor expansion of (* 1/4 (cos (* -1/2 lambda2))) in lambda2 8.129 * [taylor]: Taking taylor expansion of 1/4 in lambda2 8.129 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.129 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.129 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.130 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.140 * [taylor]: Taking taylor expansion of (* -1/16 (sin (* -1/2 lambda2))) in lambda2 8.140 * [taylor]: Taking taylor expansion of -1/16 in lambda2 8.140 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.140 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.140 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.140 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.161 * [taylor]: Taking taylor expansion of (* -1/96 (cos (* -1/2 lambda2))) in lambda2 8.161 * [taylor]: Taking taylor expansion of -1/96 in lambda2 8.161 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.161 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.161 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.161 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.162 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in (lambda1 lambda2) around 0 8.162 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 8.162 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 8.162 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 8.162 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.163 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.163 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.163 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.163 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.163 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.163 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.163 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.165 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 8.165 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 8.165 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 8.165 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.165 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.165 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.165 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.166 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.166 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.166 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.166 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.168 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda1 8.168 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda1 8.168 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda1 8.168 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.168 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.168 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.168 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.168 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.168 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.169 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.169 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.172 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))))) in lambda2 8.172 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))))) in lambda2 8.172 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))))) in lambda2 8.172 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.172 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.172 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.172 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.172 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.172 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.172 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.172 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.176 * [taylor]: Taking taylor expansion of 0 in lambda2 8.181 * [taylor]: Taking taylor expansion of 0 in lambda2 8.190 * [taylor]: Taking taylor expansion of 0 in lambda2 8.192 * [approximate]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in (lambda1 lambda2) around 0 8.192 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 8.192 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 8.192 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 8.192 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.192 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.192 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.192 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.192 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.192 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.192 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.192 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.195 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 8.195 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 8.195 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 8.195 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.195 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.195 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.195 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.195 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.195 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.195 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.195 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.198 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda1 8.198 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda1 8.198 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda1 8.198 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.198 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.198 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.198 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.198 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.198 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.198 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.198 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.201 * [taylor]: Taking taylor expansion of (log (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))))) in lambda2 8.201 * [taylor]: Taking taylor expansion of (sqrt (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))))) in lambda2 8.201 * [taylor]: Taking taylor expansion of (exp (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))))) in lambda2 8.201 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.201 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.201 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.201 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.201 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.201 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.201 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.205 * [taylor]: Taking taylor expansion of 0 in lambda2 8.209 * [taylor]: Taking taylor expansion of 0 in lambda2 8.216 * [taylor]: Taking taylor expansion of 0 in lambda2 8.217 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.218 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.218 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.218 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.218 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.218 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.218 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.218 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.218 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.218 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.218 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.218 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.218 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.218 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.219 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.219 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.219 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.219 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.219 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.219 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.220 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.220 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.220 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.220 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.222 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.222 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.222 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.222 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.222 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.222 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.224 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.224 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.224 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.224 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.224 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.224 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.224 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.228 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.228 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.228 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.228 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.228 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.228 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.228 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.229 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.229 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.229 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.229 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.229 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.229 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.229 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.230 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.230 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.230 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.230 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.230 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.230 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.230 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.230 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.230 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.230 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.231 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.231 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.231 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.231 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.231 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.231 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.231 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.231 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.231 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.231 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.231 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.231 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.231 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.231 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.232 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.232 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.232 * [taylor]: Taking taylor expansion of 0 in lambda2 8.232 * [taylor]: Taking taylor expansion of 0 in lambda2 8.233 * [taylor]: Taking taylor expansion of 0 in lambda2 8.234 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.234 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.234 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.234 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.234 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.234 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.234 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.234 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.234 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.234 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.234 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.234 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.234 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.234 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.234 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.234 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.234 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.235 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.235 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.235 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.235 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.235 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.235 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.235 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.235 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.236 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.236 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.236 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.236 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.236 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.236 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.236 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.236 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.237 * [taylor]: Taking taylor expansion of 0 in lambda2 8.237 * [taylor]: Taking taylor expansion of 0 in lambda2 8.237 * [taylor]: Taking taylor expansion of 0 in lambda2 8.237 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 2 1 1 1) 8.238 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.238 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.238 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.238 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.238 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.238 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.238 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.238 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.238 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.238 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.238 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.238 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.238 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.239 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.239 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.239 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.239 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.239 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.239 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.240 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.240 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.240 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.240 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.242 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.242 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.242 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.242 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.242 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.242 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.244 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.244 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.244 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.244 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.244 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.244 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.244 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.248 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.248 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.248 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.248 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.248 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.248 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.248 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.250 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.250 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.250 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.250 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.250 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.250 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.250 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.250 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.250 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.250 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.250 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.250 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.250 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.250 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.250 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.251 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.251 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.251 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.251 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.251 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.251 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.251 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.251 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.251 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.251 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.252 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.252 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.252 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.252 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.252 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.252 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.252 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.252 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.253 * [taylor]: Taking taylor expansion of 0 in lambda2 8.253 * [taylor]: Taking taylor expansion of 0 in lambda2 8.253 * [taylor]: Taking taylor expansion of 0 in lambda2 8.254 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.254 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.254 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.254 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.254 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.254 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.254 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.254 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.254 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.255 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.255 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.255 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.255 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.255 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.255 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.255 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.255 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.255 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.255 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.255 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.255 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.255 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.255 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.256 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.256 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.256 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.256 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.256 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.256 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.256 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.256 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.256 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.256 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.257 * [taylor]: Taking taylor expansion of 0 in lambda2 8.257 * [taylor]: Taking taylor expansion of 0 in lambda2 8.257 * [taylor]: Taking taylor expansion of 0 in lambda2 8.258 * * * [progress]: simplifying candidates 8.259 * [simplify]: Simplifying using # : (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (exp.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (exp.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (exp.f64 1)) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)))))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2)))))) (log.f64 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (log.f64 (sqrt.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 1)) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 1) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (exp.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (*.f64 (*.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (exp.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (exp.f64 (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (exp.f64 1)) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)))))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2)))))) (log.f64 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (log.f64 (sqrt.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 1)) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 1) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (exp.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (*.f64 (*.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/4 lambda1) (+.f64 (*.f64 1/4 lambda2) (*.f64 1/96 (pow.f64 lambda1 3)))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2)))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2)))))) (-.f64 (*.f64 1/4 lambda1) (+.f64 (*.f64 1/4 lambda2) (*.f64 1/96 (pow.f64 lambda1 3)))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2)))))) (log.f64 (sqrt.f64 (exp.f64 (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.377 * * [simplify]: iteration 0 : 4846 enodes (cost 1236 ) 8.377 * * [simplify]: iteration 1 : 4846 enodes (cost 1236 ) 8.384 * [simplify]: Simplified to: (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (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)))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 1 (log.f64 (sqrt.f64 (exp.f64 (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)))))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2)))))) (*.f64 2 (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (fabs.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 1) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 1) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) 3) (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (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)))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 1 (log.f64 (sqrt.f64 (exp.f64 (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2)))))) (log.f64 (sqrt.f64 (exp.f64 (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2)))))) (*.f64 2 (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (fabs.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (cbrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 (sqrt.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (log.f64 1) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (log.f64 1) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (log.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) 3) (*.f64 (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))) (cbrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (log.f64 (sqrt.f64 (exp.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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (*.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))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 (-.f64 lambda1 lambda2) 1/4) (*.f64 1/96 (pow.f64 lambda1 3))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2))))) (-.f64 (*.f64 (-.f64 lambda1 lambda2) 1/4) (*.f64 1/96 (pow.f64 lambda1 3))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2))))) (-.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2) (*.f64 (pow.f64 lambda1 3) 1/48)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2)) (-.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2) (*.f64 (pow.f64 lambda1 3) 1/48)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2)) (sin.f64 (*.f64 (-.f64 lambda1 lambda2) 1/2)) 8.385 * * * [progress]: adding candidates to table 8.614 * * [progress]: iteration 4 / 4 8.614 * * * [progress]: picking best candidate 8.670 * * * * [pick]: Picked # 8.670 * * * [progress]: localizing error 8.714 * * * [progress]: generating rewritten candidates 8.714 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.720 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.725 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1) 8.730 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.736 * * * [progress]: generating series expansions 8.736 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.737 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.737 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.737 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.737 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.737 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.737 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.737 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.738 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.738 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.738 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.738 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.738 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.738 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.738 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.738 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.738 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.738 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.738 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.738 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.740 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.740 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.740 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.740 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.741 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.741 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.741 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.741 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.741 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.741 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.744 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.744 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.744 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.744 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.744 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.744 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.744 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.747 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.747 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.747 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.747 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.747 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.747 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.747 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.749 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.749 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.749 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.749 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.749 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.749 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.749 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.749 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.749 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.750 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.750 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.750 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.750 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.750 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.750 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.750 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.750 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.750 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.750 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.751 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.751 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.751 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.751 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.751 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.751 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.751 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.751 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.751 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.751 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.751 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.751 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.751 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.751 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.752 * [taylor]: Taking taylor expansion of 0 in lambda2 8.752 * [taylor]: Taking taylor expansion of 0 in lambda2 8.752 * [taylor]: Taking taylor expansion of 0 in lambda2 8.754 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.754 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.754 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.754 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.754 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.754 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.754 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.754 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.754 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.754 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.754 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.754 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.754 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.754 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.754 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.754 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.754 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.755 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.755 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.755 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.755 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.755 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.755 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.755 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.755 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.756 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.756 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.756 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.756 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.756 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.756 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.756 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.756 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.757 * [taylor]: Taking taylor expansion of 0 in lambda2 8.757 * [taylor]: Taking taylor expansion of 0 in lambda2 8.757 * [taylor]: Taking taylor expansion of 0 in lambda2 8.757 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.758 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.758 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.758 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.758 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.758 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.758 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.758 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.758 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.758 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.758 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.758 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.758 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.759 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.759 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.759 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.759 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.759 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.759 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.760 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.760 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.760 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.760 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.761 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.762 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.762 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.762 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.762 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.762 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.764 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.764 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.764 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.764 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.764 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.764 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.764 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.767 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.767 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.767 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.767 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.767 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.767 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.767 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.769 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.769 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.769 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.769 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.769 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.769 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.769 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.769 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.769 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.770 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.770 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.770 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.770 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.770 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.770 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.770 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.770 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.770 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.770 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.770 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.770 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.770 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.770 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.770 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.770 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.771 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.771 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.771 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.771 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.771 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.771 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.771 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.771 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.772 * [taylor]: Taking taylor expansion of 0 in lambda2 8.772 * [taylor]: Taking taylor expansion of 0 in lambda2 8.772 * [taylor]: Taking taylor expansion of 0 in lambda2 8.773 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.773 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.773 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.773 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.773 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.773 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.773 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.773 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.773 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.774 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.774 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.774 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.774 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.774 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.774 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.774 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.774 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.775 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.775 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.775 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.775 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.775 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.775 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.775 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.775 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.775 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.775 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.775 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.775 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.775 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.775 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.776 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.776 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.776 * [taylor]: Taking taylor expansion of 0 in lambda2 8.776 * [taylor]: Taking taylor expansion of 0 in lambda2 8.776 * [taylor]: Taking taylor expansion of 0 in lambda2 8.777 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1) 8.777 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.777 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.777 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.777 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.778 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.778 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.778 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.778 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.778 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.778 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.778 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.778 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.778 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.779 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.779 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.779 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.779 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.779 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.779 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.780 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.780 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.780 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.780 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.781 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.781 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.781 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.781 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.781 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.781 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.784 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.784 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.784 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.784 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.784 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.784 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.784 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.787 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.787 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.787 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.787 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.787 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.787 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.787 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.789 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.789 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.789 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.789 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.789 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.789 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.789 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.789 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.789 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.790 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.790 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.790 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.790 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.790 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.790 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.790 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.790 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.790 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.790 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.790 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.790 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.790 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.790 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.790 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.790 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.795 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.795 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.795 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.795 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.795 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.795 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.795 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.795 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.796 * [taylor]: Taking taylor expansion of 0 in lambda2 8.796 * [taylor]: Taking taylor expansion of 0 in lambda2 8.796 * [taylor]: Taking taylor expansion of 0 in lambda2 8.797 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.797 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.797 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.797 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.797 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.797 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.797 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.797 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.797 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.798 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.798 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.798 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.798 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.798 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.798 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.798 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.798 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.799 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.799 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.799 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.799 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.799 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.799 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.799 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.799 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.799 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.799 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.799 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.799 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.799 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.799 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.800 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.800 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.800 * [taylor]: Taking taylor expansion of 0 in lambda2 8.800 * [taylor]: Taking taylor expansion of 0 in lambda2 8.800 * [taylor]: Taking taylor expansion of 0 in lambda2 8.801 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 8.801 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.801 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.802 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.802 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.802 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.802 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.802 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.802 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.802 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.802 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.802 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.802 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.802 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.803 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.803 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.803 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.803 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.803 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.803 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.804 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.804 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.804 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.804 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.805 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.805 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.805 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.805 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.805 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.805 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.807 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.808 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.808 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.808 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.808 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.808 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.808 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.811 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.811 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.811 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.811 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.811 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.811 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.811 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.812 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.813 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.813 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.813 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.813 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.813 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.813 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.813 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.813 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.813 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.813 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.813 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.813 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.813 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.813 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.813 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.813 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.814 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.814 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.814 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.814 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.814 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.814 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.814 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.814 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.815 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.815 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.815 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.815 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.815 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.815 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.815 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.815 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.816 * [taylor]: Taking taylor expansion of 0 in lambda2 8.816 * [taylor]: Taking taylor expansion of 0 in lambda2 8.816 * [taylor]: Taking taylor expansion of 0 in lambda2 8.817 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.817 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.817 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.817 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.817 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.817 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.817 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.817 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.817 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.818 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.818 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.818 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.818 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.818 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.818 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.818 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.818 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.818 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.818 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.818 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.818 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.818 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.819 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.819 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.819 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.819 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.819 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.819 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.819 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.819 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.819 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.819 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.819 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.820 * [taylor]: Taking taylor expansion of 0 in lambda2 8.820 * [taylor]: Taking taylor expansion of 0 in lambda2 8.820 * [taylor]: Taking taylor expansion of 0 in lambda2 8.821 * * * [progress]: simplifying candidates 8.822 * [simplify]: Simplifying using # : (exp.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))) (*.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))) (*.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))) (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 (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 (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 (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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.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))) (*.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))) (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.911 * * [simplify]: iteration 0 : 4785 enodes (cost 809 ) 8.911 * * [simplify]: iteration 1 : 4785 enodes (cost 809 ) 8.916 * [simplify]: Simplified to: (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 1) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 2) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) 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 (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)) (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))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (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))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (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))) (-.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.916 * * * [progress]: adding candidates to table 9.047 * [progress]: [Phase 3 of 3] Extracting. 9.047 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 9.092 * * * [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) 9.092 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # # # # #) 9.169 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # # # # #) 9.247 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # # # # #) 9.325 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # #) 9.401 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # #) 9.478 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # #) 9.556 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # #) 9.635 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # #) 9.713 * * * [regime]: Found split indices: #