2.943 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 7.159 * * * [progress]: [2/2] Setting up program. 7.164 * [progress]: [Phase 2 of 3] Improving. 7.165 * [simplify]: Simplifying using # : (*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))))))) 7.263 * * [simplify]: iteration 0 : 4808 enodes (cost 65 ) 7.263 * * [simplify]: iteration 1 : 4808 enodes (cost 65 ) 7.264 * [simplify]: Simplified to: (*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))) 7.269 * * [progress]: iteration 1 / 4 7.269 * * * [progress]: picking best candidate 7.273 * * * * [pick]: Picked # 7.273 * * * [progress]: localizing error 7.316 * * * [progress]: generating rewritten candidates 7.316 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.321 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1 1 1) 7.327 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.333 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.339 * * * [progress]: generating series expansions 7.339 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.339 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.339 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.339 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.339 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.339 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.339 * [taylor]: Taking taylor expansion of phi1 in phi2 7.339 * [taylor]: Taking taylor expansion of phi2 in phi2 7.339 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.340 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.340 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.340 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.340 * [taylor]: Taking taylor expansion of phi1 in phi1 7.340 * [taylor]: Taking taylor expansion of phi2 in phi1 7.340 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.340 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.340 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.340 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.340 * [taylor]: Taking taylor expansion of phi1 in phi1 7.340 * [taylor]: Taking taylor expansion of phi2 in phi1 7.340 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.340 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.340 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.340 * [taylor]: Taking taylor expansion of phi2 in phi2 7.340 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.340 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.340 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.340 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.340 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.340 * [taylor]: Taking taylor expansion of phi2 in phi2 7.341 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.341 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.341 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.341 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.341 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.341 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.341 * [taylor]: Taking taylor expansion of phi2 in phi2 7.342 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.342 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.342 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.342 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.342 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.342 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.342 * [taylor]: Taking taylor expansion of phi2 in phi2 7.342 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.342 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.342 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.342 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.342 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.342 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.342 * [taylor]: Taking taylor expansion of phi1 in phi2 7.342 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.342 * [taylor]: Taking taylor expansion of phi2 in phi2 7.342 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.342 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.342 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.342 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.342 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.342 * [taylor]: Taking taylor expansion of phi1 in phi1 7.342 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.343 * [taylor]: Taking taylor expansion of phi2 in phi1 7.343 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.343 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.343 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.343 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.343 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.343 * [taylor]: Taking taylor expansion of phi1 in phi1 7.343 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.343 * [taylor]: Taking taylor expansion of phi2 in phi1 7.343 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.343 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.343 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.343 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.343 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.343 * [taylor]: Taking taylor expansion of phi1 in phi2 7.343 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.343 * [taylor]: Taking taylor expansion of phi2 in phi2 7.343 * [taylor]: Taking taylor expansion of 0 in phi2 7.343 * [taylor]: Taking taylor expansion of 0 in phi2 7.343 * [taylor]: Taking taylor expansion of 0 in phi2 7.344 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.344 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.344 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.344 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.344 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.344 * [taylor]: Taking taylor expansion of phi2 in phi2 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.344 * [taylor]: Taking taylor expansion of phi1 in phi2 7.344 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.344 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.344 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.344 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.344 * [taylor]: Taking taylor expansion of phi2 in phi1 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.344 * [taylor]: Taking taylor expansion of phi1 in phi1 7.344 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.344 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.344 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.344 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.344 * [taylor]: Taking taylor expansion of phi2 in phi1 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.344 * [taylor]: Taking taylor expansion of phi1 in phi1 7.344 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.344 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.344 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.344 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.344 * [taylor]: Taking taylor expansion of phi2 in phi2 7.344 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.344 * [taylor]: Taking taylor expansion of phi1 in phi2 7.345 * [taylor]: Taking taylor expansion of 0 in phi2 7.345 * [taylor]: Taking taylor expansion of 0 in phi2 7.345 * [taylor]: Taking taylor expansion of 0 in phi2 7.345 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1 1 1) 7.345 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.345 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.345 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.345 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.345 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.345 * [taylor]: Taking taylor expansion of phi1 in phi2 7.345 * [taylor]: Taking taylor expansion of phi2 in phi2 7.345 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.345 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.345 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.345 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.345 * [taylor]: Taking taylor expansion of phi1 in phi1 7.345 * [taylor]: Taking taylor expansion of phi2 in phi1 7.345 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.345 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.345 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.345 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.345 * [taylor]: Taking taylor expansion of phi1 in phi1 7.345 * [taylor]: Taking taylor expansion of phi2 in phi1 7.346 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.346 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.346 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.346 * [taylor]: Taking taylor expansion of phi2 in phi2 7.346 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.346 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.346 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.346 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.346 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.346 * [taylor]: Taking taylor expansion of phi2 in phi2 7.347 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.347 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.347 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.347 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.347 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.347 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.347 * [taylor]: Taking taylor expansion of phi2 in phi2 7.347 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.347 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.347 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.347 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.347 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.347 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.347 * [taylor]: Taking taylor expansion of phi2 in phi2 7.348 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.348 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.348 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.348 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.348 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.348 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.348 * [taylor]: Taking taylor expansion of phi1 in phi2 7.348 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.348 * [taylor]: Taking taylor expansion of phi2 in phi2 7.348 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.348 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.348 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.348 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.348 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.348 * [taylor]: Taking taylor expansion of phi1 in phi1 7.348 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.348 * [taylor]: Taking taylor expansion of phi2 in phi1 7.348 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.348 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.348 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.348 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.348 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.348 * [taylor]: Taking taylor expansion of phi1 in phi1 7.348 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.348 * [taylor]: Taking taylor expansion of phi2 in phi1 7.349 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.349 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.349 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.349 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.349 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.349 * [taylor]: Taking taylor expansion of phi1 in phi2 7.349 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.349 * [taylor]: Taking taylor expansion of phi2 in phi2 7.349 * [taylor]: Taking taylor expansion of 0 in phi2 7.349 * [taylor]: Taking taylor expansion of 0 in phi2 7.349 * [taylor]: Taking taylor expansion of 0 in phi2 7.349 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.349 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.349 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.349 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.349 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.349 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.349 * [taylor]: Taking taylor expansion of phi2 in phi2 7.349 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.349 * [taylor]: Taking taylor expansion of phi1 in phi2 7.350 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.350 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.350 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.350 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.350 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.350 * [taylor]: Taking taylor expansion of phi2 in phi1 7.350 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.350 * [taylor]: Taking taylor expansion of phi1 in phi1 7.350 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.350 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.350 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.350 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.350 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.350 * [taylor]: Taking taylor expansion of phi2 in phi1 7.350 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.350 * [taylor]: Taking taylor expansion of phi1 in phi1 7.350 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.350 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.350 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.350 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.350 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.350 * [taylor]: Taking taylor expansion of phi2 in phi2 7.350 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.350 * [taylor]: Taking taylor expansion of phi1 in phi2 7.350 * [taylor]: Taking taylor expansion of 0 in phi2 7.350 * [taylor]: Taking taylor expansion of 0 in phi2 7.350 * [taylor]: Taking taylor expansion of 0 in phi2 7.351 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.351 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.351 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.351 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.351 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.351 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.351 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.351 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.351 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.351 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.351 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.351 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.351 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.351 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.351 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.351 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.351 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.351 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.351 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.351 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.351 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.351 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.351 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.351 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.352 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.352 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.352 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.352 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.352 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.352 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.352 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.352 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.352 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.352 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.352 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.352 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.352 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.353 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.353 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.353 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.353 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.353 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.353 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.353 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.353 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.353 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.353 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.353 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.353 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.353 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.354 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.354 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.354 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.354 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.354 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.354 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.354 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.354 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.354 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.354 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.354 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.354 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.354 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.354 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.354 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.354 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.354 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.354 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.354 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.354 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.354 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.354 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.354 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.354 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.354 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.354 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.354 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.355 * [taylor]: Taking taylor expansion of 0 in lambda2 7.355 * [taylor]: Taking taylor expansion of 0 in lambda2 7.355 * [taylor]: Taking taylor expansion of 0 in lambda2 7.355 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.355 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.355 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.355 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.355 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.355 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.355 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.355 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.355 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.355 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.355 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.355 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.355 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.355 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.355 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.355 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.355 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.355 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.355 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.355 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.355 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.355 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.355 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.355 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.355 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.356 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.356 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.356 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.356 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.356 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.356 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.356 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.356 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.356 * [taylor]: Taking taylor expansion of 0 in lambda2 7.356 * [taylor]: Taking taylor expansion of 0 in lambda2 7.356 * [taylor]: Taking taylor expansion of 0 in lambda2 7.356 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.356 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.356 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.356 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.356 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.356 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.356 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.356 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.356 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.357 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.357 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.357 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.357 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.357 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.357 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.357 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.357 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.357 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.357 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.357 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.357 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.357 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.357 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.357 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.357 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.357 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.357 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.357 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.357 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.357 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.358 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.358 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.358 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.358 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.358 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.358 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.358 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.358 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.359 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.359 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.359 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.359 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.359 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.359 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.359 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.359 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.359 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.359 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.359 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.359 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.359 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.359 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.359 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.359 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.359 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.359 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.359 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.359 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.359 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.359 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.359 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.359 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.359 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.360 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.360 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.360 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.360 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.360 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.360 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.360 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.360 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.360 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.360 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.360 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.360 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.360 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.360 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.360 * [taylor]: Taking taylor expansion of 0 in lambda2 7.360 * [taylor]: Taking taylor expansion of 0 in lambda2 7.360 * [taylor]: Taking taylor expansion of 0 in lambda2 7.360 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.360 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.360 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.360 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.360 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.360 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.360 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.361 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.361 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.361 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.361 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.361 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.361 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.361 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.361 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.361 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.361 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.361 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.361 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.361 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.361 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.361 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.361 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.361 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.361 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.361 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.361 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.361 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.361 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.361 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.361 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.361 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.361 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.362 * [taylor]: Taking taylor expansion of 0 in lambda2 7.362 * [taylor]: Taking taylor expansion of 0 in lambda2 7.362 * [taylor]: Taking taylor expansion of 0 in lambda2 7.362 * * * [progress]: simplifying candidates 7.362 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/2 phi1) (+.f64 (*.f64 1/2 phi2) (*.f64 1/48 (pow.f64 phi1 3)))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (-.f64 (*.f64 1/2 phi1) (+.f64 (*.f64 1/2 phi2) (*.f64 1/48 (pow.f64 phi1 3)))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (-.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.480 * * [simplify]: iteration 0 : 4817 enodes (cost 396 ) 7.480 * * [simplify]: iteration 1 : 4817 enodes (cost 396 ) 7.482 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (/.f64 (-.f64 phi1 phi2) 2) (*.f64 1/48 (pow.f64 phi1 3))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (-.f64 (/.f64 (-.f64 phi1 phi2) 2) (*.f64 1/48 (pow.f64 phi1 3))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 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.483 * * * [progress]: adding candidates to table 7.574 * * [progress]: iteration 2 / 4 7.574 * * * [progress]: picking best candidate 7.644 * * * * [pick]: Picked # 7.644 * * * [progress]: localizing error 7.697 * * * [progress]: generating rewritten candidates 7.697 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 1 1) 7.702 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 7.708 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 7.713 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2) 7.719 * * * [progress]: generating series expansions 7.719 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 1 1) 7.719 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in (phi1 phi2) around 0 7.719 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi2 7.719 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi2 7.719 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.719 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi2 7.719 * [taylor]: Taking taylor expansion of phi1 in phi2 7.720 * [taylor]: Taking taylor expansion of phi2 in phi2 7.720 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.720 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.720 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.720 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.720 * [taylor]: Taking taylor expansion of phi1 in phi1 7.720 * [taylor]: Taking taylor expansion of phi2 in phi1 7.720 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- phi1 phi2))) in phi1 7.720 * [taylor]: Taking taylor expansion of (* 1/2 (- phi1 phi2)) in phi1 7.720 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.720 * [taylor]: Taking taylor expansion of (- phi1 phi2) in phi1 7.720 * [taylor]: Taking taylor expansion of phi1 in phi1 7.720 * [taylor]: Taking taylor expansion of phi2 in phi1 7.720 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.720 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.720 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.720 * [taylor]: Taking taylor expansion of phi2 in phi2 7.720 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 phi2))) in phi2 7.721 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.721 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.721 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.721 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.721 * [taylor]: Taking taylor expansion of phi2 in phi2 7.721 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 phi2)))) in phi2 7.721 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 phi2))) in phi2 7.721 * [taylor]: Taking taylor expansion of 1/8 in phi2 7.721 * [taylor]: Taking taylor expansion of (sin (* -1/2 phi2)) in phi2 7.721 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.721 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.721 * [taylor]: Taking taylor expansion of phi2 in phi2 7.722 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 phi2)))) in phi2 7.722 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 phi2))) in phi2 7.722 * [taylor]: Taking taylor expansion of 1/48 in phi2 7.722 * [taylor]: Taking taylor expansion of (cos (* -1/2 phi2)) in phi2 7.722 * [taylor]: Taking taylor expansion of (* -1/2 phi2) in phi2 7.722 * [taylor]: Taking taylor expansion of -1/2 in phi2 7.722 * [taylor]: Taking taylor expansion of phi2 in phi2 7.722 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in (phi1 phi2) around 0 7.722 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.722 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.722 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.722 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.722 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.722 * [taylor]: Taking taylor expansion of phi1 in phi2 7.722 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.722 * [taylor]: Taking taylor expansion of phi2 in phi2 7.722 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.722 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.722 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.722 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.722 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.723 * [taylor]: Taking taylor expansion of phi1 in phi1 7.723 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.723 * [taylor]: Taking taylor expansion of phi2 in phi1 7.723 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi1 7.723 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi1 7.723 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.723 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi1 7.723 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.723 * [taylor]: Taking taylor expansion of phi1 in phi1 7.723 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.723 * [taylor]: Taking taylor expansion of phi2 in phi1 7.723 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi1) (/ 1 phi2)))) in phi2 7.723 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi1) (/ 1 phi2))) in phi2 7.723 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.723 * [taylor]: Taking taylor expansion of (- (/ 1 phi1) (/ 1 phi2)) in phi2 7.723 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.723 * [taylor]: Taking taylor expansion of phi1 in phi2 7.723 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.723 * [taylor]: Taking taylor expansion of phi2 in phi2 7.723 * [taylor]: Taking taylor expansion of 0 in phi2 7.723 * [taylor]: Taking taylor expansion of 0 in phi2 7.723 * [taylor]: Taking taylor expansion of 0 in phi2 7.724 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in (phi1 phi2) around 0 7.724 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.724 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.724 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.724 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.724 * [taylor]: Taking taylor expansion of phi2 in phi2 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.724 * [taylor]: Taking taylor expansion of phi1 in phi2 7.724 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.724 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.724 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.724 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.724 * [taylor]: Taking taylor expansion of phi2 in phi1 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.724 * [taylor]: Taking taylor expansion of phi1 in phi1 7.724 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi1 7.724 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi1 7.724 * [taylor]: Taking taylor expansion of 1/2 in phi1 7.724 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi1 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi1 7.724 * [taylor]: Taking taylor expansion of phi2 in phi1 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi1 7.724 * [taylor]: Taking taylor expansion of phi1 in phi1 7.724 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 phi2) (/ 1 phi1)))) in phi2 7.724 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 phi2) (/ 1 phi1))) in phi2 7.724 * [taylor]: Taking taylor expansion of 1/2 in phi2 7.724 * [taylor]: Taking taylor expansion of (- (/ 1 phi2) (/ 1 phi1)) in phi2 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi2) in phi2 7.724 * [taylor]: Taking taylor expansion of phi2 in phi2 7.724 * [taylor]: Taking taylor expansion of (/ 1 phi1) in phi2 7.725 * [taylor]: Taking taylor expansion of phi1 in phi2 7.725 * [taylor]: Taking taylor expansion of 0 in phi2 7.725 * [taylor]: Taking taylor expansion of 0 in phi2 7.725 * [taylor]: Taking taylor expansion of 0 in phi2 7.725 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 2) 7.725 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.725 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.725 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.725 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.725 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.725 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.725 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.725 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.725 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.725 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.725 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.725 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.725 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.725 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.725 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.725 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.725 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.725 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.726 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.726 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.726 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.726 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.726 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.726 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.726 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.726 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.726 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.726 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.726 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.727 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.727 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.727 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.727 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.727 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.727 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.727 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.727 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.727 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.727 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.727 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.727 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.727 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.727 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.728 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.728 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.728 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.728 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.728 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.728 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.728 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.728 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.728 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.728 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.728 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.728 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.728 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.728 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.728 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.728 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.728 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.728 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.728 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.728 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.728 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.728 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.728 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.728 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.728 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.728 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.728 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.729 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.729 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.729 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.729 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.729 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.729 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.729 * [taylor]: Taking taylor expansion of 0 in lambda2 7.729 * [taylor]: Taking taylor expansion of 0 in lambda2 7.729 * [taylor]: Taking taylor expansion of 0 in lambda2 7.729 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.729 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.729 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.729 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.729 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.729 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.729 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.729 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.729 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.729 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.729 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.729 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.729 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.729 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.729 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.729 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.730 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.730 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.730 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.730 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.730 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.730 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.730 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.730 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.730 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.730 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.730 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.730 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.730 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.730 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.730 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.730 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.730 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.730 * [taylor]: Taking taylor expansion of 0 in lambda2 7.730 * [taylor]: Taking taylor expansion of 0 in lambda2 7.730 * [taylor]: Taking taylor expansion of 0 in lambda2 7.730 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 7.731 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.731 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.731 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.731 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.731 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.731 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.731 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.731 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.731 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.731 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.731 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.731 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.731 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.731 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.731 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.731 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.731 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.731 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.731 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.731 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.731 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.731 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.731 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.732 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.732 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.732 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.732 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.732 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.732 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.732 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.732 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.732 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.732 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.732 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.732 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.732 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.733 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.733 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.733 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.733 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.733 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.733 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.733 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.733 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.734 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.734 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.734 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.734 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.734 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.734 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.734 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.734 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.734 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.734 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.734 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.734 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.734 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.734 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.734 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.734 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.734 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.734 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.734 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.734 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.734 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.734 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.734 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.734 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.734 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.734 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.734 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.734 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.734 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.734 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.735 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.735 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.735 * [taylor]: Taking taylor expansion of 0 in lambda2 7.735 * [taylor]: Taking taylor expansion of 0 in lambda2 7.735 * [taylor]: Taking taylor expansion of 0 in lambda2 7.735 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.735 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.735 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.735 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.735 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.735 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.735 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.735 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.735 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.735 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.735 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.735 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.735 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.735 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.735 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.735 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.735 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.736 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.736 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.736 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.736 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.736 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.736 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.736 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.736 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.736 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.736 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.736 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.736 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.736 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.736 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.736 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.736 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.736 * [taylor]: Taking taylor expansion of 0 in lambda2 7.736 * [taylor]: Taking taylor expansion of 0 in lambda2 7.736 * [taylor]: Taking taylor expansion of 0 in lambda2 7.736 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2) 7.736 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 7.736 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 7.737 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 7.737 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.737 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 7.737 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.737 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.737 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.737 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.737 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.737 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.737 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.737 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.737 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 7.737 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 7.737 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.737 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 7.737 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.737 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.737 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.737 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.737 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.737 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.738 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 7.738 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.738 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.738 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.738 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.738 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.738 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 7.738 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 7.738 * [taylor]: Taking taylor expansion of 1/8 in lambda2 7.738 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 7.738 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.738 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.738 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.739 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 7.739 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 7.739 * [taylor]: Taking taylor expansion of 1/48 in lambda2 7.739 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 7.739 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 7.739 * [taylor]: Taking taylor expansion of -1/2 in lambda2 7.739 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.739 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 7.739 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.739 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.739 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.739 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.739 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.739 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.739 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.739 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.739 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.739 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.739 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.740 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.740 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.740 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.740 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.740 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.740 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 7.740 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 7.740 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.740 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 7.740 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.740 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.740 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.740 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.740 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 7.740 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 7.740 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.740 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 7.740 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.740 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.740 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.740 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.740 * [taylor]: Taking taylor expansion of 0 in lambda2 7.740 * [taylor]: Taking taylor expansion of 0 in lambda2 7.740 * [taylor]: Taking taylor expansion of 0 in lambda2 7.741 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 7.741 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.741 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.741 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.741 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.741 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.741 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.741 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.741 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.741 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.741 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.741 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.741 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.741 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.741 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.741 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.741 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.741 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 7.741 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 7.741 * [taylor]: Taking taylor expansion of 1/2 in lambda1 7.741 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 7.741 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 7.741 * [taylor]: Taking taylor expansion of lambda2 in lambda1 7.741 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 7.741 * [taylor]: Taking taylor expansion of lambda1 in lambda1 7.741 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 7.741 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 7.741 * [taylor]: Taking taylor expansion of 1/2 in lambda2 7.741 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 7.741 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 7.741 * [taylor]: Taking taylor expansion of lambda2 in lambda2 7.742 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 7.742 * [taylor]: Taking taylor expansion of lambda1 in lambda2 7.742 * [taylor]: Taking taylor expansion of 0 in lambda2 7.742 * [taylor]: Taking taylor expansion of 0 in lambda2 7.742 * [taylor]: Taking taylor expansion of 0 in lambda2 7.742 * * * [progress]: simplifying candidates 7.743 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/2 phi1) (+.f64 (*.f64 1/2 phi2) (*.f64 1/48 (pow.f64 phi1 3)))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (sin.f64 (*.f64 1/2 (-.f64 phi1 phi2))) (-.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.856 * * [simplify]: iteration 0 : 4817 enodes (cost 396 ) 7.857 * * [simplify]: iteration 1 : 4817 enodes (cost 396 ) 7.859 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 phi1 2)) (cos.f64 (/.f64 phi2 2))) (*.f64 (cos.f64 (/.f64 phi1 2)) (sin.f64 (/.f64 phi2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (/.f64 (-.f64 phi1 phi2) 2) (*.f64 1/48 (pow.f64 phi1 3))) (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) (sin.f64 (/.f64 (-.f64 phi1 phi2) 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.863 * * * [progress]: adding candidates to table 7.964 * * [progress]: iteration 3 / 4 7.964 * * * [progress]: picking best candidate 8.049 * * * * [pick]: Picked # 8.049 * * * [progress]: localizing error 8.095 * * * [progress]: generating rewritten candidates 8.095 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.100 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2) 8.106 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2) 8.111 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1 2) 8.117 * * * [progress]: generating series expansions 8.117 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.118 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.118 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.118 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.118 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.118 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.118 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.118 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.118 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.118 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.118 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.118 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.118 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.118 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.118 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.118 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.118 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.118 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.118 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.118 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.118 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.119 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.119 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.119 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.119 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.119 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.119 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.119 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.119 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.119 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.119 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.119 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.119 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.119 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.119 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.119 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.119 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.120 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.120 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.120 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.120 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.120 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.120 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.120 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.121 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.121 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.121 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.121 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.121 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.121 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.121 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.121 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.121 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.121 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.121 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.121 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.121 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.121 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.121 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.121 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.121 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.121 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.121 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.121 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.121 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.121 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.121 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.121 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.121 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.121 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.122 * [taylor]: Taking taylor expansion of 0 in lambda2 8.122 * [taylor]: Taking taylor expansion of 0 in lambda2 8.122 * [taylor]: Taking taylor expansion of 0 in lambda2 8.122 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.122 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.122 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.122 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.122 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.122 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.122 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.122 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.122 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.122 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.122 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.122 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.122 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.122 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.122 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.122 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.122 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.122 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.122 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.123 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.123 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.123 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.123 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.123 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.123 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.123 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.123 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.123 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.123 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.123 * [taylor]: Taking taylor expansion of 0 in lambda2 8.123 * [taylor]: Taking taylor expansion of 0 in lambda2 8.123 * [taylor]: Taking taylor expansion of 0 in lambda2 8.123 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2) 8.123 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.123 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.123 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.123 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.123 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.123 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.124 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.124 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.124 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.124 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.124 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.124 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.124 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.124 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.124 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.124 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.124 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.124 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.124 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.124 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.124 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.124 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.124 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.124 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.124 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.124 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.124 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.125 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.125 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.125 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.125 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.125 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.125 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.125 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.125 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.125 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.126 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.126 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.126 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.126 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.126 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.126 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.126 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.126 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.126 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.126 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.126 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.126 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.126 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.126 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.126 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.126 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.126 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.126 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.126 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.126 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.126 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.126 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.126 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.126 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.127 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.127 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.127 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.127 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.127 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.127 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.127 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.127 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.127 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.127 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.127 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.127 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.127 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.127 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.127 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.127 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.127 * [taylor]: Taking taylor expansion of 0 in lambda2 8.127 * [taylor]: Taking taylor expansion of 0 in lambda2 8.127 * [taylor]: Taking taylor expansion of 0 in lambda2 8.127 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.128 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.128 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.128 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.128 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.128 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.128 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.128 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.128 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.128 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.128 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.128 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.128 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.128 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.128 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.128 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.128 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.128 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.128 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.128 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.128 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.129 * [taylor]: Taking taylor expansion of 0 in lambda2 8.129 * [taylor]: Taking taylor expansion of 0 in lambda2 8.129 * [taylor]: Taking taylor expansion of 0 in lambda2 8.129 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2) 8.129 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.129 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.129 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.129 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.129 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.129 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.129 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.129 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.129 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.129 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.129 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.129 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.129 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.129 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.129 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.129 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.129 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.129 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.129 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.130 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.130 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.130 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.130 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.130 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.130 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.130 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.130 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.130 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.130 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.130 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.131 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.131 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.131 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.131 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.131 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.131 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.131 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.131 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.131 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.131 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.131 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.131 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.131 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.132 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.132 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.132 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.132 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.132 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.132 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.132 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.132 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.132 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.132 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.132 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.132 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.132 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.132 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.132 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.132 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.132 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.132 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.132 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.132 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.132 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.132 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.132 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.132 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.132 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.132 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.132 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.132 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.133 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.133 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.133 * [taylor]: Taking taylor expansion of 0 in lambda2 8.133 * [taylor]: Taking taylor expansion of 0 in lambda2 8.133 * [taylor]: Taking taylor expansion of 0 in lambda2 8.133 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.133 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.133 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.133 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.133 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.133 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.133 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.133 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.133 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.133 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.133 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.133 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.133 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.133 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.133 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.133 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.133 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.134 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.134 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.134 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.134 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.134 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.134 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.134 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.134 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.134 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.134 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.134 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.134 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.134 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.134 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.134 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.134 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.134 * [taylor]: Taking taylor expansion of 0 in lambda2 8.134 * [taylor]: Taking taylor expansion of 0 in lambda2 8.134 * [taylor]: Taking taylor expansion of 0 in lambda2 8.134 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1 2) 8.134 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.134 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.135 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.135 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.135 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.135 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.135 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.135 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.135 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.135 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.135 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.135 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.135 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.135 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.135 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.135 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.135 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.135 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.135 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.135 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.135 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.135 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.135 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.135 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.136 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.136 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.136 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.136 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.136 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.136 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.136 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.136 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.136 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.136 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.136 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.136 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.137 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.137 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.137 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.137 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.137 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.137 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.137 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.137 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.137 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.137 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.137 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.137 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.137 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.137 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.137 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.137 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.137 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.137 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.137 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.137 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.137 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.138 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.138 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.138 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.138 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.138 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.138 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.138 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.138 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.138 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.138 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.138 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.138 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.138 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.138 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.138 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.138 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.138 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.138 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.138 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.138 * [taylor]: Taking taylor expansion of 0 in lambda2 8.138 * [taylor]: Taking taylor expansion of 0 in lambda2 8.138 * [taylor]: Taking taylor expansion of 0 in lambda2 8.139 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.139 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.139 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.139 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.139 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.139 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.139 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.139 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.139 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.139 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.139 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.139 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.139 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.139 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.139 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.139 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.139 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.139 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.139 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.139 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.139 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.139 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.139 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.139 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.139 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.140 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.140 * [taylor]: Taking taylor expansion of 0 in lambda2 8.140 * [taylor]: Taking taylor expansion of 0 in lambda2 8.140 * [taylor]: Taking taylor expansion of 0 in lambda2 8.140 * * * [progress]: simplifying candidates 8.141 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 8.266 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 8.266 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 8.269 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 8.269 * * * [progress]: adding candidates to table 8.395 * * [progress]: iteration 4 / 4 8.395 * * * [progress]: picking best candidate 8.482 * * * * [pick]: Picked # 8.482 * * * [progress]: localizing error 8.537 * * * [progress]: generating rewritten candidates 8.537 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 2 2 2) 8.542 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 2 1) 8.548 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 2 1) 8.554 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 2 1 2 1 1 1) 8.560 * * * [progress]: generating series expansions 8.560 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 2 2 2) 8.560 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.560 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.560 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.560 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.560 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.560 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.560 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.560 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.560 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.561 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.561 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.561 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.561 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.561 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.561 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.561 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.561 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.561 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.561 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.561 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.561 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.561 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.561 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.561 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.561 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.561 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.561 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.561 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.561 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.562 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.562 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.562 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.562 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.562 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.562 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.562 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.563 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.563 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.563 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.563 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.563 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.563 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.563 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.563 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.563 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.563 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.563 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.563 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.563 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.563 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.563 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.563 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.563 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.563 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.563 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.563 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.563 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.563 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.563 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.563 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.564 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.564 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.564 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.564 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.564 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.564 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.564 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.564 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.564 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.564 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.564 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.564 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.564 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.564 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.564 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.564 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.564 * [taylor]: Taking taylor expansion of 0 in lambda2 8.564 * [taylor]: Taking taylor expansion of 0 in lambda2 8.564 * [taylor]: Taking taylor expansion of 0 in lambda2 8.564 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.564 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.565 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.565 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.565 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.565 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.565 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.565 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.565 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.565 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.565 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.565 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.565 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.565 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.565 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.565 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.565 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.565 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.565 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.565 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.565 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.565 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.565 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.565 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.565 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.565 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.566 * [taylor]: Taking taylor expansion of 0 in lambda2 8.566 * [taylor]: Taking taylor expansion of 0 in lambda2 8.566 * [taylor]: Taking taylor expansion of 0 in lambda2 8.566 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 2 1) 8.566 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.566 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.566 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.566 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.566 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.566 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.566 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.566 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.566 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.566 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.566 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.566 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.566 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.566 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.566 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.566 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.566 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.566 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.566 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.567 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.567 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.567 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.567 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.567 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.567 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.567 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.567 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.567 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.567 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.568 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.568 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.568 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.568 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.568 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.568 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.568 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.568 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.568 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.568 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.568 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.568 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.568 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.568 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.569 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.569 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.569 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.569 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.569 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.569 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.569 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.569 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.569 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.569 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.569 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.569 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.569 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.569 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.569 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.569 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.569 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.569 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.569 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.570 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.570 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.570 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.570 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.570 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.570 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.570 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.570 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.570 * [taylor]: Taking taylor expansion of 0 in lambda2 8.570 * [taylor]: Taking taylor expansion of 0 in lambda2 8.570 * [taylor]: Taking taylor expansion of 0 in lambda2 8.570 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.570 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.570 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.570 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.570 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.570 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.570 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.570 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.570 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.571 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.571 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.571 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.571 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.571 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.571 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.571 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.571 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.571 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.571 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.571 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.571 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.571 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.571 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.571 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.571 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.571 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.571 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.571 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.571 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.571 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.571 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.571 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.571 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.571 * [taylor]: Taking taylor expansion of 0 in lambda2 8.571 * [taylor]: Taking taylor expansion of 0 in lambda2 8.572 * [taylor]: Taking taylor expansion of 0 in lambda2 8.572 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 2 1) 8.572 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.572 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.572 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.572 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.572 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.572 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.572 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.572 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.572 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.572 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.572 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.572 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.572 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.572 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.572 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.572 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.572 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.572 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.572 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.572 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.572 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.572 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.572 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.573 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.573 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.573 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.573 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.573 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.573 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.573 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.573 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.573 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.573 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.573 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.573 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.573 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.574 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.574 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.574 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.574 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.574 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.574 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.574 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.574 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.574 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.574 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.574 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.574 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.574 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.575 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.575 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.575 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.575 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.575 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.575 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.575 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.575 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.575 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.575 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.575 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.575 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.575 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.575 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.575 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.575 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.575 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.575 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.576 * [taylor]: Taking taylor expansion of 0 in lambda2 8.576 * [taylor]: Taking taylor expansion of 0 in lambda2 8.576 * [taylor]: Taking taylor expansion of 0 in lambda2 8.576 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.576 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.576 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.576 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.576 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.576 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.576 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.576 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.576 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.576 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.576 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.576 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.576 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.576 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.576 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.576 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.576 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.576 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.576 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.576 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.576 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.576 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.576 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.577 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.577 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.577 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.577 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.577 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.577 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.577 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.577 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.577 * [taylor]: Taking taylor expansion of 0 in lambda2 8.577 * [taylor]: Taking taylor expansion of 0 in lambda2 8.577 * [taylor]: Taking taylor expansion of 0 in lambda2 8.577 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 2 1 2 1 1 1) 8.577 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in (lambda1 lambda2) around 0 8.577 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda2 8.577 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda2 8.577 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.577 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda2 8.577 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.577 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.577 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.578 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.578 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.578 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.578 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.578 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.578 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- lambda1 lambda2))) in lambda1 8.578 * [taylor]: Taking taylor expansion of (* 1/2 (- lambda1 lambda2)) in lambda1 8.578 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.578 * [taylor]: Taking taylor expansion of (- lambda1 lambda2) in lambda1 8.578 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.578 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.578 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.578 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.578 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.578 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.578 * [taylor]: Taking taylor expansion of (* 1/2 (cos (* -1/2 lambda2))) in lambda2 8.579 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.579 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.579 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.579 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.579 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.579 * [taylor]: Taking taylor expansion of (neg (* 1/8 (sin (* -1/2 lambda2)))) in lambda2 8.579 * [taylor]: Taking taylor expansion of (* 1/8 (sin (* -1/2 lambda2))) in lambda2 8.579 * [taylor]: Taking taylor expansion of 1/8 in lambda2 8.579 * [taylor]: Taking taylor expansion of (sin (* -1/2 lambda2)) in lambda2 8.579 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.579 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.579 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.580 * [taylor]: Taking taylor expansion of (neg (* 1/48 (cos (* -1/2 lambda2)))) in lambda2 8.580 * [taylor]: Taking taylor expansion of (* 1/48 (cos (* -1/2 lambda2))) in lambda2 8.580 * [taylor]: Taking taylor expansion of 1/48 in lambda2 8.580 * [taylor]: Taking taylor expansion of (cos (* -1/2 lambda2)) in lambda2 8.580 * [taylor]: Taking taylor expansion of (* -1/2 lambda2) in lambda2 8.580 * [taylor]: Taking taylor expansion of -1/2 in lambda2 8.580 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.580 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in (lambda1 lambda2) around 0 8.580 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.580 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.580 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.580 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.580 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.580 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.580 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.580 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.580 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.580 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.580 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.580 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.580 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.580 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.581 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.581 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.581 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda1 8.581 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda1 8.581 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.581 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda1 8.581 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.581 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.581 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.581 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.581 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2)))) in lambda2 8.581 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda1) (/ 1 lambda2))) in lambda2 8.581 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.581 * [taylor]: Taking taylor expansion of (- (/ 1 lambda1) (/ 1 lambda2)) in lambda2 8.581 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.581 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.581 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.581 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.581 * [taylor]: Taking taylor expansion of 0 in lambda2 8.581 * [taylor]: Taking taylor expansion of 0 in lambda2 8.581 * [taylor]: Taking taylor expansion of 0 in lambda2 8.582 * [approximate]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in (lambda1 lambda2) around 0 8.582 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.582 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.582 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.582 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.582 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.582 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.582 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.582 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.582 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.582 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.582 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.582 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.582 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda1 8.582 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda1 8.582 * [taylor]: Taking taylor expansion of 1/2 in lambda1 8.582 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda1 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda1 8.582 * [taylor]: Taking taylor expansion of lambda2 in lambda1 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda1 8.582 * [taylor]: Taking taylor expansion of lambda1 in lambda1 8.582 * [taylor]: Taking taylor expansion of (sin (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1)))) in lambda2 8.582 * [taylor]: Taking taylor expansion of (* 1/2 (- (/ 1 lambda2) (/ 1 lambda1))) in lambda2 8.582 * [taylor]: Taking taylor expansion of 1/2 in lambda2 8.582 * [taylor]: Taking taylor expansion of (- (/ 1 lambda2) (/ 1 lambda1)) in lambda2 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda2) in lambda2 8.582 * [taylor]: Taking taylor expansion of lambda2 in lambda2 8.582 * [taylor]: Taking taylor expansion of (/ 1 lambda1) in lambda2 8.582 * [taylor]: Taking taylor expansion of lambda1 in lambda2 8.583 * [taylor]: Taking taylor expansion of 0 in lambda2 8.583 * [taylor]: Taking taylor expansion of 0 in lambda2 8.583 * [taylor]: Taking taylor expansion of 0 in lambda2 8.583 * * * [progress]: simplifying candidates 8.584 * [simplify]: Simplifying using # : (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (*.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (-.f64 (*.f64 1/2 lambda1) (+.f64 (*.f64 1/2 lambda2) (*.f64 1/48 (pow.f64 lambda1 3)))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) (sin.f64 (*.f64 1/2 (-.f64 lambda1 lambda2))) 8.710 * * [simplify]: iteration 0 : 4736 enodes (cost 396 ) 8.710 * * [simplify]: iteration 1 : 4736 enodes (cost 396 ) 8.713 * [simplify]: Simplified to: (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (sin.f64 (/.f64 lambda1 2)) (cos.f64 (/.f64 lambda2 2))) (*.f64 (cos.f64 (/.f64 lambda1 2)) (sin.f64 (/.f64 lambda2 2))) (log.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (exp.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (pow.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 3) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sqrt.f64 (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (-.f64 (/.f64 (-.f64 lambda1 lambda2) 2) (*.f64 1/48 (pow.f64 lambda1 3))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) 8.713 * * * [progress]: adding candidates to table 8.861 * [progress]: [Phase 3 of 3] Extracting. 8.861 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # #) 8.919 * * * [regime-changes]: Trying 8 branch expressions: ((-.f64 lambda1 lambda2) (/.f64 (-.f64 lambda1 lambda2) 2) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) phi2 phi1 lambda2 lambda1 R) 8.919 * * * * [regimes]: Trying to branch on (-.f64 lambda1 lambda2) from (# # # # # # # # # # # # # # # # # # # #) 9.070 * * * * [regimes]: Trying to branch on (/.f64 (-.f64 lambda1 lambda2) 2) from (# # # # # # # # # # # # # # # # # # # #) 9.219 * * * * [regimes]: Trying to branch on (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)) from (# # # # # # # # # # # # # # # # # # # #) 9.370 * * * * [regimes]: Trying to branch on phi2 from (# # # # # # # # # # # # # # # # # # # #) 9.516 * * * * [regimes]: Trying to branch on phi1 from (# # # # # # # # # # # # # # # # # # # #) 9.661 * * * * [regimes]: Trying to branch on lambda2 from (# # # # # # # # # # # # # # # # # # # #) 9.809 * * * * [regimes]: Trying to branch on lambda1 from (# # # # # # # # # # # # # # # # # # # #) 9.956 * * * * [regimes]: Trying to branch on R from (# # # # # # # # # # # # # # # # # # # #) 10.100 * * * [regime]: Found split indices: #